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

SMACD 2021   International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design
CiVEJ 2020   Civil Engineering and Urban Planning: An International Journal
TACAS 2021   27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
IEEE-PSGEC 2021   2021 Power System And Green Energy Conference ( PSGEC 2021)
ICFCA 2021   International Conference on Formal Concept Analysis
VTS 2021   39th IEEE VLSI Test Symposium
FORMATS 2020   Formal Modeling and Analysis of Timed Systems
SCOPUS-CGIIT 2021   5th International Conference on Graphics, Images and Interactive Techniques (CGIIT 2021)
SC4EDS 2021   Special Session on Soft Computing for Evolving Data Streams: Advances in Real-Time Pattern Recognition
ITTCS 2020   Information Technologies, Telecommunications and Control Systems