The 14th International Conference on Formal Modelling and Analysis of Timed Systems will take place in Québec City (Canada) on 24-26 August 2016. The event will be co-located with the 27th International Conference on Concurrency Theory (CONCUR) and the 13th International Conference on Quantitative Evaluation of SysTems (QEST).

The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems.

Hosted by Université Laval, FORMATS 2016 will be presented from Hôtel Château Laurier, a step beside the Capital’s Old City.

News

21 August 2016
Final program of CONCUR, FORMATS and QEST
20 August 2016
Proceedings online (open access will be provided during the conference)
5 July 2016
Programme online.
28 June 2016
(Tentative) programme online.
20 June 2016
Registrations open.
20 June 2016
List of accepted papers online.
19 April 2016
Paper submission deadline extended by one week.
15 April 2016
Abstract submission deadline extended by one week.
25 March 2016
Easychair submission site opened.
25 February 2016
Invited speakers announced.
09 February 2016
Call for papers online.
29 January 2016
Program committee announced.
16 January 2016
The website is running.