TOOLympics at ETAPS 2023

TOOLympics 2023 is an event to celebrate the achievements of the various competitions and comparative evaluations broadly related to the field of formal methods and document the experiences, decisions, and best practices stemming from current and past competitions and evaluations in this area.

This is the second edition of the TOOLympics. It consists of a special plenary session at ETAPS on April 26, 2023, where all participants have the option to present a short summary of their competition and/or the newest results and awards, and a Springer post-proceedings volume collecting peer-reviewed competition report/description papers.


Important Dates

March 22, 2023 Deadline to indicate intention to participate (via Google Form)
April 26, 2023 TOOLympics session at ETAPS
June 1, 2023 Paper submission
June 29, 2023 Notification
July 27, 2023 Camera-ready version


A competition's participation is registered via our Google Form. As part of this form, participants can indicate whether they intend to present at the special session and/or submit a competition report/description.

After ETAPS is over, participants can submit their competition report/description for the TOOLympics proceedings (published by Springer) via EasyChair.

Participating Competitions

A list of participating competitions will appear here.

Competition Papers

The competition reports/descriptions for the TOOLympics post-proceedings should be original papers of at least 4 pages (including references) in LNCS style. Shorter contributions are possible, but will not be treated as full papers by Springer (e.g. they will not be assigned a DOI). There is no hard page limit, be we ask participants to keep a reasonable ratio between content and number of pages. We recommend the following default structure for competition reports/descriptions:

The above is a suggestion, not a required structure; it should in any case be adapted to each specific participating competition.

Program on Wednesday, April 26, 2023

Time Competition Speaker
16:30 Introduction Dirk Beyer, Fabrice Kordon, Arnd Hartmanns
16:40 CHC-COMP Hossein Hojjat
16:46 MCC Fabrice Kordon
16:52 QComp Arnd Hartmanns
16:58 ARCH-COMP Arnd Hartmanns
17:04 RERS Falk Howar
17:10 SL-COMP Mihaela Sighireanu
17:16 SV-COMP Dirk Beyer
17:22 Test-Comp Dirk Beyer
17:28 VerifyThis Gidon Ernst
17:34 VT-LTC Gidon Ernst