15-17 September 2008
==== Apologies for multiple postings =====
Early Registration Deadline : **August 17, 2008**
--------------------------------------------------------------------
FORMATS'08 -- Call for Participation
--------------------------------------------------------------------
6th International Conference on Formal Modelling
and Analysis of Timed Systems
Saint-Malo, France, September 15--17, 2008
(Co-Located with QEST'08 : www.qest.org)
http://formats08.inria.fr
====================================================================
Registration is open at http://formats08.inria.fr
====================================================================
--------------------------------------------------------------------
Early Registration: August 17, 2008
Conference dates: September 15--17, 2008
--------------------------------------------------------------------
For more details, e.g.,
* conference fees and details of payment,
* list of topics,
* list of invited lectures,
* list of accepted papers,
* steering and program committee and organization committee,
* program,
* conference location,
* accomodation and how to get there,
please visit our website: http://formats08.inria.fr
====================================================================