FORMATS 2023

21st International Conference on Formal Modeling and Analysis of Timed Systems

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).

This year, FORMATS will incorporate a special track on:
- Monitoring of cyber-physical systems. We encourage the submission of papers on all approaches related to the monitoring of cyber-physical systems, including monitoring methods, monitoring applications (such as robustness-guided falsification), and related techniques (such as validation of a formal specification for monitoring).

INVITED SPEAKERS

FORMATS 2023 will feature the following invited speakers:

- Joost-Pieter Katoen, RWTH Aachen University, Germany (joint with all CONFEST conferences)
- Nicolas Markey, CNRS & University of Rennes, France (joint with CONCUR)
- David Parker, Oxford University, UK (joint with QEST, CONCUR)
- Jaco van de Pol, Aarhus University, Denmark (joint with CONCUR, FMICS)