|
|
FORMATS 2016 : 14th International Conference on Formal Modeling and Analysis of Timed Systems
   
Conference Series : Formal Modeling and Analysis of Timed Systems
|
|
Link: http://formats2016.lsv.fr/
|
| |
| When |
Aug 24, 2016 - Aug 26, 2016
|
| Where |
Quebec City, Canada |
| Abstract Registration Due |
Apr 15, 2016
|
| Submission Deadline |
Apr 22, 2016
|
| Notification Due |
Jun 10, 2016
|
| Final Version Due |
Jun 22, 2016
|
|
|
|
|
|
| |
|
Call For Papers
|
|
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.
|
