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

MEMOCODE 2017   15th ACM/IEEE International Conference on Formal Methods and Models for System Design
SPURS 2017   Sound and Practical Unanticipated Reuse of Software - Special Issue of Journal of Software: Evolution and Process
ACM MSWiM 2017   20th Annual International Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems
CGDIP 2017   2017 International Conference on Computer Graphics and Digital Image Processing (CGDIP 2017)--Ei
data-driven 2017   Special Issue on “Data-Driven User Behavioral Modeling: From Real-World Behavior to Knowledge, Algorithms, and Systems”
SEMAPRO 2017   The Eleventh International Conference on Advances in Semantic Processing
ICSPC 2017   2017 IEEE Conference on Systems, Process and Control (ICSPC 2017)
LSFA 2017   12th Workshop on Logical and Semantic Frameworks, with Applications
WADCE 2017   2017 2nd International Workshop on Aircraft Design and Control Engineering (WADCE 2017)
SERecSys 2017   2nd ICDM Workshop on Semantics-Enabled Recommender Systems