2015 ARVI Meeting Vienna

Meeting held in conjunction with the Runtime Verification conference.

The second scientific meeting of the ARVI COST Action will take place on Monday, September 21st, 2015 in the Seminarraum Zemanek (ground floor of the building) – TU Wien, Favoritenstraße 9-11, 1040 Wien. The building is very close to the subway line U1 stopping at Taubstummengasse station.

Tentative Schedule

Schedule Monday
8:30 – 9:00 Registration
9:00 – 9:15 COST Meeting Opening – Martin Leucker
9:15 – 10:30 WG 1 and WG 2 leader summaries (Ylies, Ezio, Giles [WG2 PDF])
10:30 – 11:00 Coffe Break
11:00 – 12:30 WG 3 and WG 4 leader summaries (Keiko, César, Christian)
12:30 – 14:00 Lunch
14:00 – 15:00 Dejan Nickovic (AIT) – Monitoring Mixed-Analog Signals [PDF]
15:00 – 15:30 RV book CfC, summer school (Ylies, Ezio)
15:30 – 16:00 Coffee Break
16:00 – 17:00 Management Committee Meeting
19:30 Dinner

From Vienna Airport to the City Center

The City Airport Train (CAT) links the airport to subway station Landstraße / Wien Mitte in 16 minutes where you can change to subway lines U3 and U4, as well as to tram and buses. If travelling on CAT, you can already check-in at the train station Wien Mitte for certain flights when departing from Vienna. The fare is €11 for a one-way and €17 for a return trip. Have a look at the timetable. Note that tickets for underground, trams, or local buses are not included in this fare.

A standard train connection (Schnellbahn S7) between the airport and Landstraße / Wien Mitte is also available (~30 minutes, tickets €4.20 one-way, including underground and bus in Vienna). Make sure to buy “2 zones” from the vending machine. If you buy a (time-based) transit pass for the city of Vienna at the same time, you only need “1 zone” (€2.10) to enter the city. Have a look at the timetable.

Vienna AirportLines offer buses to Schwedenplatz (subway lines U1 and U4) and Westbahnhof (westbound train station, connection to U3 and U6) and Wien Meidling (southbound train station, connection to U6). Tickets cost €8 (single) to €13 (return). Tickets for underground, trams, or local buses are not included in this fare.

A taxi to the city center costs between €30 and €40. Some companies like C&K offer taxis, limos or shuttles for a flat rate starting from €33.

Arrival by train

For train connections to Vienna, consult the time table of the Austrian federal railway company (ÖBB). There are direct services to many central European cities.