posted by user: mpstew || 8440 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 2024   Joint International Conferences on Quantitative Evaluation of SysTems (QEST) and on Formal Modeling and Analysis of Timed Systems (FORMATS)
LChange 2024   LChange 2024 : 5th International Workshop on Computational Approaches to Historical Language Change
DSIT 2024   2024 7th International Conference on Data Science and Information Technology (DSIT 2024)
FDL 2024   Forum on specification and Design Languages
IMAACA 2024   International Conference on Integrated Modeling and Analysis in Applied Control and Automation
FM 2024   Formal Methods
PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
BPMDS 2024   Business Process Modeling, Development, and Support
NLE Special Issue 2024   Natural Language Engineering- Special issue on NLP Approaches for Computational Analysis of Social Media Texts for Online Well-being and Social Order
ACM ICCMS 2024   ACM--2024 The 16th International Conference on Computer Modeling and Simulation (ICCMS 2024)