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. FORMATS 2023 will be co-located with CONCUR, QEST, FMICS (under the joint name CONFEST) and will take place September 19-21, 2023 at the University of Antwerp, Belgium.

Free access to the online version of the proceedings has been arranged for a period of 4 weeks.

Concerning the COVID-19 epidemic

FORMATS 2023 is planned as a physical, in-person event, with some support for remote participation. In particular, we understand that some authors can be prevented from physically attending the conference for a number of reasons. Hence, in a limited number of cases, there will be remote-participation support for speakers and for other participants who are unable to come. Please contact the organizers explaining your case.

Invited speakers

  • Joost-Pieter Katoen, RWTH Aachen, Germany (joint with all conferences)
  • Nicolas Markey, 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)

Best Paper Award (Oded Maler Award in Timed Systems) Winners

  • Véronique Bruyère, Guillermo Perez, Gaëtan Staquet and Frits Vaandrager. Automata with Timers
  • Anthony Spriet, Didier Lime and Olivier Roux. Timed non-interference under Partial Observability and Bounded Memory