FORMATS: Formal Modeling and Analysis of Timed Systems

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

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

 
 

All CFPs on WikiCFP

Event When Where Deadline
FORMATS 2018 16th International Conference on Formal Modeling and Analysis of Timed Systems
Jan 31, 2018 - Jan 31, 2019 Beijing, China Mar 20, 2018 (Mar 23, 2018)
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 : 2018

**Topics**: 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 generalisation, of hybrid systems. Typical topics include (but are not limited to):

* Foundations and Semantics: Theoretical foundations of timed systems and languages; new models and logics for analysis and comparison of existing models (like automata, Petri nets, max-plus models, network calculus, or process algebras involving quantitative time; hybrid automata; probabilistic automata and logics).

* Methods and Tools: Techniques, algorithms, data structures, and software tools for verification, synthesis, learning, online monitoring and runtime verification of timed or hybrid systems and for resolving temporal constraints (scheduling, worst-case execution time analysis, optimisation, model checking, testing, constraint solving).

* Applications: Adaptation and specialisation of timing technology in application domains in which timing plays an important role (real-time software, embedded control, hardware circuits, biological systems, and problems of scheduling in manufacturing and telecommunications).

The proceedings will be published by Springer LNCS (http://www.springer.com/lncs). FORMATS 2018 is part of CONFESTA 2018 (http://confesta2018.csp.escience.cn), which also includes CONCUR, QEST and SETTA.

** PC Chairs **
David N. Jansen (Institute of Software, Chinese Academy of Sciences, China)
Pavithra Prabhakar (Kansas State University, USA)

**Programme Committee**
Sergiy Bogomolov (IST, Austria)
Borzoo Bonakdarpour (Iowa State Univ., USA)
Patricia Bouyer (LSV, CNRS & ENS Cachan, Univ. Paris Saclay, France)
Thao Dang (CNRS/VERIMAG, France)
Martin Fränzle (Carl von Ossietzky Univ. Oldenburg, Germany)
Ichiro Hasuo (National Institute of Informatics, Japan)
Boudewijn Haverkort (Univ. of Twente, Netherlands)
Holger Hermanns (Saarland Univ., Germany)
Jan Křetínský (Technical Univ. of Munich, Germany)
Martin Leucker (Univ. of Lübeck, Germany)
Miroslav Pajic (Duke Univ., NC, USA)
David Parker (Univ. of Birmingham, UK)
Krishna S. (IIT Bombay, India)
César Sánchez (IMDEA Software Institute, Spain)
Ocan Sankur (CNRS, France)
Zhikun She (School of Mathematics and Systems Science, Beihang Univ., Beijing, China)
Jiří Srba (Aalborg Univ., Denmark)
B. Srivathsan (Chennai Mathematical Institute, India)
Meng Sun (Peking Univ., China)
Cong Tian (Xidian Univ., China)
Ashutosh Trivedi (University of Colorado, Boulder, USA)
Frits Vaandrager (Radboud Univ., Netherlands)
Mahesh Viswanathan (Univ. of Illinois at Urbana-Champaign, USA)
 

Related Resources

UMAP 2019   User Modeling, Adaptation, and Personalization
ICAPS 2019   International Conference on Automated Planning and Scheduling
TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
EC in Scheduling 2019   Call for a WILEY book chapter proposal on Evolutionary Computation in Scheduling
ICFCA 2019   The 15th International Conference on Formal Concept Analysis
FSEN 2019   Eighth International Conference on Fundamentals of Software Engineering
QEST 2019   16th International Conference on Quantitative Evaluation of SysTems
SummerSim 2019   2019 Summer Simulation Conference
MCDMT 2018   Special Issue - Modeling Computing and Data Handling for Marine Transportation - Algorithms, MDPI - Open Access Journal
IROS 2019   Intelligent RObots and Systems