posted by user: mpstew || 9366 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

QEST+FORMATS 2025   Joint International Conferences on Quantitative Evaluation of SysTems (QEST) and on Formal Modeling and Analysis of Timed Systems (FORMATS)
EDU 2025   10th International Conference on Education
SBMF 2025   28th Brazilian Symposium on Formal Methods
IEEE-ICPSET 2025   2025 4th International Conference on Power System and Energy Technology-IEEE Xplore/EI/Scopus
MSWiM 2025   The 27th International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems
ReacTS 2025   International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications
ICCDA--EI 2025   2025 The 9th International Conference on Computing and Data Analysis (ICCDA 2025)
IJCCMS 2025   International Journal of Chaos, Control, Modelling and Simulation
DSA 2025   The 12th International Conference on Dependability Systems and Their Applications
SANER 2026   The 33rd IEEE International Conference on Software Analysis, Evolution and Reengineering