FORMATS: Formal Modeling and Analysis of Timed Systems

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2017 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
FORMATS 2016 14th International Conference on Formal Modeling and Analysis of Timed Systems
Aug 24, 2016 - Aug 26, 2016 Quebec City, Canada Apr 22, 2016 (Apr 15, 2016)
FORMATS 2015 13th International Conference on Formal Modeling and Analysis of Timed Systems
Sep 2, 2015 - Sep 4, 2015 Madrid Apr 27, 2015 (Apr 20, 2015)
FORMATS 2014 International Conference on Formal Modeling and Analysis of Timed Systems
Sep 8, 2014 - Sep 10, 2014 Florence, Italy Apr 21, 2014 (Apr 14, 2014)
FORMATS 2013 11th International Conference on Formal Modeling and Analysis of Timed Systems
Aug 29, 2013 - Aug 31, 2013 Buenos Aires, Argentina Apr 8, 2013 (Apr 1, 2013)
FORMATS 2012 10th International Conference on Formal Modeling and Analysis of Timed Systems
Sep 18, 2012 - Sep 20, 2012 London May 11, 2012 (May 7, 2012)
FORMATS 2011 9th International Conference on Formal Modeling and Analysis of Timed Systems
Sep 21, 2011 - Sep 23, 2011 Aalborg, Denmark May 22, 2011 (May 15, 2011)
 
 

Present CFP : 2016

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

IROS 2017   IEEE/RSJ International Conference on Intelligent Robots and Systems
SPURS 2017   Sound and Practical Unanticipated Reuse of Software - Special Issue of Journal of Software: Evolution and Process
EGC 2017   Conférence Extraction et Gestion des Connaissances (EGC 2017)
MEMOCODE 2016   ACM-IEEE International Conference on Formal Methods and Models for System Design
VaMoS 2017   11th International Workshop on Variability Modelling of Software-intensive Systems
QEST 2017   14th International Conference on Quantitative Evaluation of SysTems
WADCE-EI 2016   2016 International Workshop on Aircraft Design and Control Engineering (WADCE 2016)--EI&Scopus
ICFCA 2017   International Conference on Formal Concept Analysis
CAIP 2017   Computer Analysis of Images and Patterns
HPCMS 2017   *** Extended Deadline *** Fourth Special Session on High Performance Computing in Modelling and Simulation (HPCMS)