posted by organizer: pavithraprabhakar || 980 views || tracked by 4 users: [display]

FORMATS 2018 : 16th International Conference on Formal Modeling and Analysis of Timed Systems

FacebookTwitterLinkedInGoogle


Conference Series : Formal Modeling and Analysis of Timed Systems
 
Link: http://lcs.ios.ac.cn/formats2018/
 
When Jan 31, 2018 - Jan 31, 2019
Where Beijing, China
Abstract Registration Due Mar 23, 2018
Submission Deadline Mar 20, 2018
Notification Due May 18, 2018
Final Version Due May 30, 2018
Categories    timed automata   model-checking   scheduling
 

Call For Papers

**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

ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
ECRTS 2020   32nd Euromicro Conference on Real-Time Systems
OMCS 2020   3rd IEEE Conference on Optimization and Modeling of Complex Systems
SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
MARS 2020   4th Workshop on Models for Formal Analysis of Real Systems
NMLA 2020   CfP - Network Modeling, Learning and Analysis (NMLA) Workshop
IDA 2020   The 18th International Symposium on Intelligent Data Analysis (IDA 2020)
ICPP 2020   International Conference on Parallel Processing
ICIAR 2020   17th International Conference on Image Analysis and Recognition
ECDMO - Ei & Scopus 2020   2020 4th European Conference on Design, Modeling and Optimization (ECDMO 2020)--EI Compendex, Scopus