Meeting in Prague, March 16-17, 2017

Programme

Thursday, March 16

09:00 – 09:05 Welcome
09:05 – 10:00 Session 1: Report of WG chairs about past activities

  • WG 1 [PDF] (Ezio/Yliès)
  • WG 2 [PDF] (Dmitriy/Giles)
  • WG3 [PDF] (Cesar/Gerardo)
  • WG 4 [PDF] (Christian) [PPTX] (Ezio/Martin)
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.

Building at Mala Strana

Lunches and coffee breaks will take place inside the building – this is the most economic and also fastest way.