Call for Papers
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.
You can find the full Call for Papers here.
|19 April 2022|
|Paper submission||22 April 2022|
|Acceptance notification||17 June 2022|
|Artifact submission deadline||24 June 2022|
|Camera-ready copy deadline||15 July 2022|
|Conference||12-17 September 2022|
CONFEST 2022, which includes FORMATS 2022, is currently planned as a physical, in-person event with support for remote presence for speakers and participants. Depending on the pandemic situation, a decision whether to cancel the physical component of CONFEST or not will be made by the end of June 2022.