This is an old revision of the document!
FMCAD 2014 Information Page
Formal Methods in Computer-Aided Design 2014, 21-24 October 2014
Conference Google Calendar:
- Thanks to last year's organizers!
Updates
About Lausanne
Local Information
Conference Location
(exported KML: http://lara.epfl.ch/~kuncak/fmcad.kml)
Announcement: slides
Hotel search:
Some hotels to consider:
- Starling Hotel at EPFL, closest and most convenient to the campus and very close to the lake
- Alpha Palmiers, 2 minutes uphill walk from the train station, 4 stars, great atmosphere
- Hotel Agora, 200 meters from train station, 4 stars
- Hotel Ibis Lausanne, new hotel in the city, excellent value
- Hotel Moevenpick, a high-end hotel, on the lake shore in Lausanne
- Hote Elite, close to train station and the city, very central yet very calm and cosy
- Au Lac, a good-value 3-star hotel on the lake shore in Lausanne
- Hotel Voyageurs, a small hotel in the city center