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.
Organizers
- Dirk Beyer
(LMU Munich, Germany) - Arnd Hartmanns
(University of Twente, Netherlands) - Fabrice Kordon
(Sorbonne Université, France)
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 |
Submission
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:
- 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.
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 |