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

ICFEM 2017   19th International Conference on Formal Engineering Methods
SLIE 2018   Semantic, Logics, Information Extraction and AI
Social Information Systems @ HICSS-51   Social Information Systems Minitrack - Hawaii International Conference on System Sciences (HICSS-51)
IJMSA 2017   International Journal of Modeling, Simulation and Applications
IUI 2018   The 23rd ACM International Conference on Intelligent User Interfaces
HPCMS 2018   *** Extended Deadline *** 5th Special Session on High Performance Computing in Modelling and Simulation (HPCMS)
WCCI 2018   World Congress on Computational Intelligence
EI--CEESD 2017   EI--2017 2nd International Conference on Environmental Engineering and Sustainable Development
ISSTA 2018   International Symposium on Software Testing and Analysis
ICAEST 2017   【EI】2017 International Conference on Advanced Energy Systems and Technologies (ICAEST 2017)