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.