Monday |
Tuesday |
Wednesday |
Thursday |
Friday |
Registration Desk at Salon
d’honneur |
||||
INFINITY |
WS-FMDS |
18th International
Symposium FM 2012 Amphi Georges Friedmann |
||
TLA+ |
QFM |
|||
UML-FM |
VDM |
|||
Doctoral
Symposium |
Tutorial 2 |
|
Amphi Access 35 -Level 1 |
|
Tutorial 1 |
Tutorial 3 ( |
|||
FHIES |
||||
FMICS |
Verification Competition |
|||
UTP |
||||
VECoS |
||||
Coffee break |
Coffee
break |
|||
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 |
Welcome Reception |
Conference Dinner |
End of |