Abbrevation
FORMATS
City
Quebec City
Country
Canada
Deadline Paper
Start Date
End Date
Abstract

The 14th International Conference on Formal Modelling and Analysis of Timed Systems will take place in Québec City (Canada) on 24&#8211;26 August 2016&#046; The event will be co&#8211;located with the 27th International Conference on Concurrency Theory (CONCUR) and the 13th International Conference on Quantitative Evaluation of SysTems (QEST)&#046;<br>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&#046;<br>