Termination Competition 2008

From 2008 onwards, the competition will be ongoing: submission of new problems and provers is possible anytime via...

• Termination Competition Execution Platform (how to submit)

Still, there will be certain deadlines where all data is collected and a report is produced. Upcoming deadlines are:

• (for sure) 1 November 2008
• (tentative) somewhere in May 2009 (so that a report can be presented at the Termination Workshop in June 2009)

The [Termination Problem Data Base 5.0] [1] is used for the competition 2008.

While implementation of the execution platform is handled by the Host of the competition, here is a separate page (a wishlist) for design issues: Termination_Competition_Platform.