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 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

April 26, 2023 TOOLympics session at ETAPS (presentations optional but recommended)
June 1, 2023 Paper submission
June 29, 2023 Notification
July 27, 2023 Camera-ready version


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

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

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.