18th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2020)

September 1-3, 2020, Vienna, Austria

Co-Located with CONCUR and QEST as part of QONFEST 2020

For questions please contact Nathalie Bertrand or Nils Jansen.

Important Dates

06.04.2020Abstract submission
13.04.2020Paper submission
29.06.2020Author notification
08.07.2020Camera-ready version

Venue and Registration

For details about the conference venue and the registration, please refer to the QONFEST 2020 webpage.



Invited Speakers

Alessandro Abate

FORMATS invited speaker

Alessandro Abate is Professor of Verification and Control in the Department of Computer Science at the University of Oxford. Earlier, he has done research at SRI International and at Stanford University, and has been an Assistant Professor at the Delft Center for Systems and Control, TU Delft. He has received a Laurea degree from the University of Padova and a MS/PhD from UC Berkeley. For more details, please see his departmental page or his research group page.

Roderick Bloem

FORMATS + CONCUR invited speaker

Roderick Bloem received his M.Sc. degree in Computer Science from Leiden University, the Netherlands, in 1996, and his Ph.D. degree in Computer Science from the University of Colorado at Boulder, in 2001. From 2002 until 2008, he was an Assistant at Graz University of Technology, Graz, Austria. From 2008, he has been a full professor of Computer Science at the same university. He has published over 80 peer reviewed papers in formal verification, reactive synthesis and security. He leads the Austrian National Research Network on Rigorous Systems Engineering and has organized events including the Computer Aided Verification conference and Formal Methods in Computer Aided Design.

Annabelle McIver

FORMATS + CONCUR + QEST invited speaker

Accepted Papers



Program Chairs

Steering Commitee

Program Commitee

Call for Papers