Formal Methods in
Computer-Aided Design
2-6 October, 2017
TU Wien, Vienna, Austria

Conference Venue

Conference Location

FMCAD 2017 will be held in the main building of TU Wien, Vienna, Austria.

The Main building of TU Wien

TU Wien
Hauptgebäude (Main building)
Karlsplatz 13, 1040 Wien
Kuppelsaal, 4th floor

Finding the lecture hall

The main building of TU Wien is easily reachable by subway. The closest stop is Karlsplatz, reachable via lines U1, U2, and U4. The exit Resselpark is closest to the main building. Click here for a subway map; an online schedule is available here. There is also a range of Apps for navigating Vienna’s public transport system (such as Qando, Scotty, or the WienMobil App).

All talks will take place in Kuppelsaal on the 4th floor of the main building. Its location within the main building is marked by a yellow rectangle with red border in the map below. (The closest entrance is the one you can see in the photo above.) You can also download a PDF version of the map.

How to get to Kuppelsaal

Social events

Instructions on how to get to the social events can be found here. All social events are included in the registration for FMCAD.


If traveling from abroad, we recommend to arrive at Vienna International Airport (VIE).

Austrian Airlines is the Official Carrier for FMCAD/MEMOCODE 2017. All participants and accompanying persons attending the conference will receive a special conference fare (15% discount off all published fares) for Austrian Airlines flights to Vienna using the eVoucher code FMCAD17. For more information see the voucher.

From the airport, the train station Wien Mitte/Landstrasse can be reached by S7 direction Floridsdorf. You can search for a connection here. From Wien Mitte, the subway U4 takes you to Karlsplatz, where the main building of TU Wien is located.

Information about Taxis can be found here; in addition, Uber is also operating in Vienna.


We have reserved rooms in the following hotels close to the conference venue. You can book a room (via phone or email) by mentioning the discount code listed below. Since the number of rooms is limited, please book early enough to avoid disappointment.

Hotel Discount code Book until Contact (email, phone)
Hotel Johann Strauss FMCAD17 September 2, phone: +43 1 505 76 24, fax: +43 1 505 76 28
Hotel Mercure Secession Vienna FMCAD17 September 1, phone: +43 1 588 38 150, fax: +43 1 588 38 212
Hotel Erzherzog Rainer TU021017 August 1, phone: +43 1 22 111, fax: +43 1 22 111 - 350

Motel One Wien Staatsoper is also close to the venue. Cheaper options include the ibis budget hotels Wien Messe and Wien St Marx, from which you can easily reach the conference venue by subway.

Child care

If you require child care, please contact the local organizer (Georg Weissenbacher) as soon as possible.