TOOLympics at TACAS '23

TOOLympics 2023 is an event to give an overview over the achievements of the various competitions or comparative evaluations in the field of formal methods.


  • Dirk Beyer
    (LMU Munich, Germany)
  • Arnd Hartmanns
    (University of Twente, Netherlands)
  • Fabrice Kordon
    (Sorbonne University, France)

Important Dates



Please register your competition by entering the title and organizers as paper abstract in EasyChair at:

Later, you can submit a competition description fo rhte TOOLympics proceedings (published by Springer).

Participating Competitions

A list of participating competitions will appear here:

Competition Kind of Event Contact Organizer