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.
Organizers
- Dirk Beyer
(LMU Munich, Germany) - Arnd Hartmanns
(University of Twente, Netherlands) - Fabrice Kordon
(Sorbonne University, France)
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 |
Registration/Submission
Please register your competition by entering the title and organizers as a paper abstract in EasyChair at: https://easychair.org/conferences/?conf=toolympics2023
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:
- Scope and aims of the competition
- History of the competition
- Scoring/ranking scheme
- Competition setup (offline vs. on-site, controlled vs. open, interactive vs. fully automated, ...)
- Relation to/comparison with other competitions
- Formats and standards used and/or established by the competition
- Benchmark sets and categories
- Participating tools
- Summary of results
- Data availability and reproducibility
- Table with references and reports
The above is a suggestion, not a required structure; it should in any case be adapted to each specific participating competition.