All times are in CEST Time Zone.

Tuesday 13 September

8:55 - 9:00: Opening

9:00 - 10:00: Invited talk: Thao Dang. A Behaviour-based Approach to Quantitative Validation of Cyber-Physical Systems

10:00 - 10:30: Coffee break

10:30 - 12:00:  Probabilistic and Timed Systems

  • Bernardo Jacobo Inclán, Eugene Asarin and Aldric Degorre. Bounded delay timed channel coding
  • Yiming Meng and Jun Liu. Robustly Complete Finite-State Abstractions for Verification of Stochastic Systems
  • Surya Sai Teja Desu, Anubhav Srivastava and Mvprao. Model checking for entanglement swapping

12:00 - 14:00: Lunch break

14:00 - 15:30: Temporal Logic

  • Hongkai Chen, Shan Lin, Scott Smolka and Nicola Paoletti. An STL-based Formulation of Resilience in Cyber-Physical Systems
  • Daniel Selvaratnam, Michael Cantoni, Jen Davoren and Iman Shames. MITL Verification Under Timing Uncertainty
  • Ruya Karagulle, Nikos Arechiga, Jonathan DeCastro and Necmiye Ozay. Classification of driving behaviors using STL formula: A Comparative Study

15:30 - 16:00: Coffee break

18:00 - 20:00: CONFEST reception


Wednesday 14 September

9:00 - 10:00: Invited talk: Joël Ouaknine. The Skolem Landscape

10:00 - 10:30: Coffee break

10:30 - 12:00: Timed Automata and Games

  • James C. A. Main, Mickael Randour and Jeremy Sproston. Timed Games with Bounded Window Parity Objectives
  • Aline Goeminne, Nicolas Markey and Ocan Sankur. Non-Blind Strategies in Timed Network Congestion Games
  • Étienne André, Dylan Marinho, Laure Petrucci and Jaco van de Pol. Efficient Convex Zone Merging in Parametric Timed Automata

12:00 - 14:00: Lunch break

14:00 - 16:00: FORMATS 20th Anniversary Session

FORMATS’22 awards and invited anniversary presentations:

  • Patricia Bouyer. Zone-based verification of timed automata: Extrapolations, simulations and what next?
  • Thomas A. Henzinger. A Personal History of Formal Modeling and Analysis of Timed Systems before there was FORMATS.
  • Kim Guldstrand Larsen. On-line Testing and Monitoring of Real-Time Systems  Revisited

16:00 - 19:00: CONFEST excursion

19:00: CONFEST banquet


Thursday 15 September

10:00 - 10:30: Coffee break

10:30 - 12:00: Neural Networks 

  • Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T Johnson and Danil Prokhorov. Neural Network Repair with Reachability Analysis
  • Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros and Stavros Tripakis. On Neural Network Equivalence Checking using SMT Solvers
  • Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton and Taylor T Johnson. Reachability Analysis of a General Class of Neural Ordinary Differential Equations

12:00 - 14:00: Lunch break

14:00 - 15:30: Reinforcement Learning

  • Daniel Jarne Ornia and Manuel Mazo Jr. Robust Event-Driven Interactions in Cooperative Multi-Agent Learning
  • Mathis Niehage and Anne Remke. Learning that grid convenience does not hurt resilience