Formal Methods in Computer-Aided Design 2014, 21-24 October 2014

• collocated and sharing tutorials with MEMOCODE 2014, 19-21 October 2014

Conference Google Calendar:

• HTML, XML, ICAL (.ics)

• Short Video

• Google Map with Conference Locations and exported KML
• EPFL Plan

Announcement: slides

Hotel search:

• www.booking.com

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

Thanks to last year's organizers!