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

FACS 2019   Formal Aspects of Component Software
WeST 2019   11th International Conference on Web services & Semantic Technology
ICCMS--EI Compendex, Scopus 2020   2020 The 12th International Conference on Computer Modeling and Simulation (ICCMS 2020)--EI Compendex, Scopus
ICST 2020   13th IEEE Conference on Software Testing, Validation and Verification
ICFEM Doctoral Symposium 2019   The 21st International Conference on Formal Engineering Methods - Doctoral Symposium
ESM 2019   33rd European Simulation and Modelling Conference
ICGDA--Ei Compendex and Scopus 2020   2020 3rd International Conference on Geoinformatics and Data Analysis (ICGDA 2020)--EI Compendex, SCOPUS
QuWeDa 2019   QuWeDa 2019: 3rd Workshop on Querying and Benchmarking the Web of Data
FOSAD 2019   19th FOSAD Summerschool on Foundations of Security Analysis and Design
DeBlock-P2P 2019   Metadata, Identifiers and semantics in Decentralized Applications, Blockchains and P2P systems -13th International Conference on Metadata and Semantics Research (MTSR2019)