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

Mathematics (MDPI) 2022   Mathematics Special Issue - Analysis and Mathematical Modeling of Control Engineering and Path Planning
CE 2022   6th International Conference on Civil Engineering
ModeVVa 2022   19th Workshop on Model Driven Engineering, Verification and Validation
GWC 2023   First Call for Papers Global WordNet Conference 2023
FORMATS 2022   Formal Modeling and Analysis of Timed Systems
FAVPQC 2022   International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols
VSTTE 2022   14th International Conference on Verified Software: Theories, Tools, and Experiments
SNR 2022   The 8th International Workshop on Symbolic-Numeric Methods for Reachability Analysis
SEFM 2022   20th International Conference on Software Engineering and Formal Methods
EAI TRIDENTCOM 2022   17th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies