NB: you need an ID to enter Université La Sorbonne!
A survival guide is available
The proceedings are now online.
The pictures taken during the conferene are available here.
The 4th International Conference on Formal Modelling and Analysis
of Timed Systems (FORMATS'06)
will be held in Paris (France) from
September 25 to September 27, 2006.
For any information, please send an email to email@example.com