Monday
August 27th

Tuesday
August 28th

Wednesday
August 29th

Thursday
August 30th

Friday
August 31st

Registration Desk at Salon d’honneur
Access 37-Level 1 : 08:00 – 17:00

INFINITY

WS-FMDS

18th International Symposium
 on Formal Methods

FM 2012

Amphi Georges Friedmann
Access 33-Level 2 : 8:30-18:30

TLA+

QFM

UML-FM

VDM

Doctoral Symposium

Tutorial 2

Industry Day

Amphi
Gaston Planté

Access 35 -Level 1
8:30-18:00

Tutorial 1

Tutorial 3

 (9:00-12:00)  Tutorial 4 (14:00-17:30)

FHIES

FMICS

Verification Competition
Access 30-Level -1 – Room 03
8:30-16:00

UTP

VECoS

Coffee break
10:30 and 15:30

Coffee break  
10:00  and 16:00

Tea/coffee will be served in the Galerie d’honneur  Access 37- Level 1

Lunch will be served at 12.00 - 14.00 in the Cnam restaurant

Rooms

Access 30-Level -1
Access 31-Level 2
08:30-18:00

Welcome Reception
 19:00
Cnam Museum

Conference Dinner
21:00
Bateau mouche

End of
FM 2012 Week 18:00