posted by user: mpstew || 5672 views || tracked by 10 users: [display]

FORMATS 2016 : 14th International Conference on Formal Modeling and Analysis of Timed Systems

FacebookTwitterLinkedInGoogle


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
Categories    modelling   semantics   verification   semantics
 

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.

Related Resources

ICFCA 2019   The 15th International Conference on Formal Concept Analysis
RELATIONS 2019   RELATIONS - Workshop on meaning relations between phrases and sentences
ATVA 2019   International Symposium on Automated Technology for Verification and Analysis
EI-IC4M 2019   2019 4th International Conference on Mechanical, Manufacturing, Modeling and Mechatronics (IC4M 2019)
FMIS 2019   8th Formal Methods for Interactive Systems
EFM 2019   1st International Workshop on Empirical Formal Methods
VVIoT 2019   International Workshop on Verification and Validation of Internet of Things
FacesMM 2019   The 2nd IEEE International Workshop on Faces in Multimedia (2019 ICME Workshop)
Scopus-ACPEE 2019   Scopus-2019 4th Asia Conference on Power and Electrical Engineering (ACPEE 2019)
SIMULTECH 2019   8th International Conference on Simulation and Modeling Methodologies, Technologies and Applications