FORMATS: Formal Modeling and Analysis of Timed Systems

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

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

 
 

All CFPs on WikiCFP

Event When Where Deadline
FORMATS 2022 Formal Modeling and Analysis of Timed Systems
Sep 12, 2022 - Sep 17, 2022 Warsaw Apr 22, 2022 (Apr 19, 2022)
FORMATS 2020 Formal Modeling and Analysis of Timed Systems
Sep 1, 2020 - Sep 3, 2020 Vienna, Austria Apr 13, 2020 (Apr 6, 2020)
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 : 2022

SCOPE & TOPICS

FORMATS (International Conference on Formal Modeling and Analysis of Timed Systems) is an annual conference which aims to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in the modelling, design and analysis of timed computational systems. The conference aims to attract researchers interested in real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics and verification of real-timed, hybrid and probabilistic systems.

Typical topics include (but are not limited to):

* Foundations and Semantics: Theoretical foundations of timed systems, languages and models (e.g., timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models).

* Methods and Tools: Techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints (e.g., scheduling, worst-case execution time analysis,optimization, model checking, testing, constraint solving).

* Applications: Adaptation and specialization of timing technology in application domains in which timing plays an important role (e.g., real-time software, hardware circuits, scheduling in manufacturing and telecommunication, robotics).

New for this year, FORMATS will incorporate a special track on:

* Learning-based and data-driven systems: We particularly encourage papers that exploit synergies between the formal analysis of timed systems and data-driven techniques (such as reinforcement learning or deep learning), or which target application domains where learning is important (such as robotics or autonomous systems).


PAPER SUBMISSION

FORMATS 2022 solicits high-quality papers reporting research results, experience reports and/or tools related to the topics mentioned above. Submitted papers must contain original, unpublished contributions, not submitted for publication elsewhere. The papers should be submitted electronically in PDF, following the Springer LNCS style guidelines. Two categories of papers are invited:

* Regular papers, which should not exceed 15 pages in length

* Short papers, which should not exceed 7 pages in length

Both page limits exclude references, which are not limited in length. If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. Each paper will undergo a thorough review process. Papers should be submitted electronically via the EasyChair online submission system: https://easychair.org/conferences/?conf=formats2022


ARTIFACT EVALUATION

This year, FORMATS is encouraging authors to submit artifacts where appropriate, for example to demonstrate how to reproduce experimental data in a research paper or to examine the usability and applicability of a software tool. Artifacts will be submitted and evaluated only for papers accepted for publication. These will be evaluated by the Artifact Evaluation Committee and those that are accepted will receive a repeatability badge to be displayed on the first page of the published version.


PUBLICATION AND BEST PAPER AWARD

The proceedings of FORMATS 2022 will be published by Springer in the Lecture Notes in Computer Science series. The best paper of the conference will be awarded the Oded Maler Award in Timed Systems.
 

Related Resources

Mathematics (MDPI) 2022   Mathematics Special Issue - Analysis and Mathematical Modeling of Control Engineering and Path Planning
SBMF 2022   25th Brazilian Symposium on Formal Methods
M3E2 2022   10th International Conference on Monitoring, Modeling & Management of Emergent Economy
ModeVVa 2022   19th Workshop on Model Driven Engineering, Verification and Validation
MASCOTS 2022   30th International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
SEFM 2022   20th International Conference on Software Engineering and Formal Methods
MDA AI&PR 2023   18th International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biometry and Security,
ASONAM 2022   IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining
CPSIOT 2022   2022 International Conference on Cyber Physical Systems and IoT(CPSIOT 2022)
NSDI 2023   20th USENIX Symposium on Networked Systems Design and Implementation