Programme
Thursday, March 16
09:00 – 09:05 | Welcome |
09:05 – 10:00 | Session 1: Report of WG chairs about past activities |
10:00 – 10:30 | Coffee break |
10:30 – 11:15 | Session 2: Dynamic Program Analysis with DiSL – Lubomír Bulej |
11:15 – 12:00 | Generating representative relaxed memory executions – Hendrik Maarand |
12:00 – 13:30 | Lunch (in the university restaurant) |
13:30 – 15:00 | Session 3: Planning of next year |
15:00 – 15:30 | Coffee break |
15:30 – 17:00 | Session 4: MC meeting taking all formal decisions (minutes) |
19:00 | Dinner at U Pinkasu |
Friday, March 17
Session 1: | |
09:00 – 09:15 | Introduction |
09:15 – 10:00 | Experiences in the formal analysis of contracts and legal texts [PDF] – Gordon Pace |
10:00 – 10:30 | Coffee break |
Session 2: | |
10:30 – 11:15 | Seal Software: Intelligent contract analytics across domains and languages [PDF] – Svetoslav Marinov |
11:15 – 12:00 | A formal approach to the analysis of normative documents [PDF] – Gerardo Schneider |
12:00 – 13:30 | Lunch (in the university restaurant) |
Session 3: | |
13:30 – 14:15 | Remarks on formalising contracts from natural language [PDF] – Adam Wyner |
14:15 – 15:00 | Discussion on Challenges in the Area of Contracts and RV |
15:00 – 15:30 | Coffee break |
Travelling
The best way to come to Prague is either by plane (Václav Havel airport – there is just one) or by train (to the main station – “Hlavní nádraží”). Then, you can use either public transport or get a taxi. Please be careful when taking a taxi. The taxi drivers quite often ask for ridiculous amount of money. The price should be, as listed below, around €20, do not pay €100 or so and ask for a bill.
Travelling from the Václav Havel Airport Prague
You can take:
- A taxi: Ask for “Malostranske namesti, Faculty of Mathematics and Physics”, the cost is approximately CZK 500 (€20).
- An airport minibus: Ask for “Malostranske namesti, Faculty of Mathematics and Physics”, the cost is aproximatly CZK 360 (€14) for up to 4 persons.
- Public transport: Take bus no. 119 to the final stop (metro station Nádraží Veleslavín, green line [A]), then follow the instructions for Travelling from Anywhere in Prague below. The single transfer ticket for 90 minutes costs CZK 32 (€1.3).
You can use the web site of the Prague airport (IATA code PRG).
Travelling from the Railway Station
There are several railway stations in Prague, but the following three are the most suitable:
- Hlavní nádraží (Main Station): This is the most probable station of your arrival. The advantage is that this station is connected with the metro station of the same name (red line [C]). Therefore just go into the metro and follow instructions for Travelling from Anywhere in Prague.
- Nádraží Holešovice (Station Holesovice): Please kindly ask somebody for the directions to the stop of tram no. 12 and take it to the stop Malostranské náměstí (10th stop, about 20 minutes).
- Smíchovské nádraží (Station Smichov): Take the tram no. 12 or no. 20 (just in front of the station building) to the stop Malostranské náměstí (8th stop, about 15 minutes).
Travelling from Anywhere in Prague
First, you need to find the nearest metro station. Then, depending on the line A, B or C, choose one of the following routes:
- Metro A (green line): Go to Malostranská station, then continue by tram no. 12, 20 or 22 to the stop Malostranské náměstí (1st stop, about 2 minutes).
- Metro B (yellow line): Go to Národní třída, then continue by tram no. 22 to the stop Malostranské náměstí (4th stop, about 10 minutes).
- Metro B (yellow line): Go to Anděl station, then continue by tram no. 12 or no. 20 to the stop Malostranské náměstí (5th stop, about 10 minutes).
- Metro C (red line): Go to I. P. Pavlova station, then continue by tram no. 22 to the stop Malostranské náměstí (7th stop, about 15 minutes).
A single transfer ticket for 90 minutes costs CZK 32 (€1.3). The ticket is valid for metro, all trams, and buses with numbers less than 300. You have to validate (stamp) each ticket inside the tram or in the metro building.
You can find useful information on the web site of the Prague Public Transportation Company.
Hotels
There is a number of hotels available around. This is a list of those we regularly use for accommodation of our guests:
Hotel U tří pštrosů – http://www.utripstrosu.cz/en
Hotel Kampa Garden – http://www.kampagarden-prague.com
Hotel SAX – http://www.hotelsax.cz/default-en.html
Hotel Kampa –https://www.sivekhotels.com/en/hotel-kampa-stara-zbrojnice
Pension Dientzenhofer – http://www.dientzenhofer.cz/
Hotel U Schnellů – http://www.uschnellu.com/english/
Hotel Waldstein – http://www.hotelwaldstein.cz/en/hotel.html
I have created a map:
https://drive.google.com/open?id=1e6toYM-9qWLIGyRTCRMptqIbYxY&usp=sharing
Meeting
We will meet at the building of Faculty of Mathematics and Physics, in a room on the first floor. I will have signs placed for easy navigation. The address is Malostranské náměstí 25, Praha. For a map, please follow the link in the hotel section above. Our building is the large one with the beige facade shown in the right-middle part of the photo below. The entrance to the building is at the upper side of the square.
Lunches and coffee breaks will take place inside the building – this is the most economic and also fastest way.