Termination Competition History

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 2015, Results of Competition, Description paper at CADE-25 Report

• Termination Competition 2014, Results of Competition, Results of Demonstration

• Termination Competition 2013, Results, Report

• Termination Competition 2012, Results, Report

• Termination Competition 2011, Results, Report

• Termination Competition 2010, Results

• 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