Difference between revisions of "Termination Competition History"
From Termination-Portal.org
Jump to navigationJump to search (Added an additional page for the history of the termination competition) |
(Added results) |
||
| Line 38: | Line 38: | ||
on the spot by participants, then written on the blackboard, then typed in by everyone, and when a team's program | on the spot by participants, then written on the blackboard, then typed in by everyone, and when a team's program | ||
could solve it, they shouted "solved". | could solve it, they shouted "solved". | ||
| + | |||
| + | == Results == | ||
| + | |||
| + | The results of (almost) all competitions are available [https://termcomp.github.io/ here] | ||
Latest revision as of 12:40, 8 March 2026
The following competitions have taken place:
- Termination Competition 2025 affiliated with WST 2025, Results.
- Termination Competition 2024 affiliated with IJCAR 2024, Results.
- Termination Competition 2023 affiliated with WST2023, Results.
- Termination Competition 2022 affiliated with IJCAR 2022, Results.
- Termination Competition 2021 affiliated with CADE 2021, Results.
- Termination Competition 2020 affiliated with IJCAR 2020, Results.
- Termination Competition 2019 affiliated with Toolympics at TACAS 2019, Results.
- Termination Competition 2018 affiliated with FLoC 2018, Oxford, UK, July 13, 2018, Results.
- Termination Competition 2017 affiliated with FSCD, Results of Competition, Results of demonstration.
- Termination Competition 2016 affiliated with WST (Workshop on Termination), Results of Competition. Presentation at WST
- Termination Competition 2009 Results, Announcement
- Termination Competition 2008, Results, Report
- Termination Competition 2007, Report
- Termination Competition 2006, Report
- Termination Competition 2005, Report
- Termination Competition 2004, Report
At the "tool demonstration" in 2003, participating provers (including AProVe, Torpa, Matchbox) were run on the laptop computers of their developers in the room. Termination problems were announced on the spot by participants, then written on the blackboard, then typed in by everyone, and when a team's program could solve it, they shouted "solved".
Results
The results of (almost) all competitions are available here
