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.

Organizers

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

Important Dates

TBA

Registration/Submission

Please register your competition by entering the title and organizers as paper abstract in EasyChair at: https://easychair.org/conferences/?conf=toolympics2023

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