Difference between revisions of "Termination Competition 2008"

From Termination-Portal.org
Jump to navigationJump to search
Line 9: Line 9:
 
* (for sure) 1 November 2008
 
* (for sure) 1 November 2008
 
* (tentative) somewhere in May 2009 (so that a report can be presented at the Termination Workshop in June 2009)
 
* (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] [http://dev.aspsimon.org/projects/termcomp/downloads/]
 +
is used for the competition 2008.
  
 
While implementation of the execution platform is handled by the Host of the competition,
 
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]].
 
here is a separate page (a wishlist) for design issues:  [[Termination_Competition_Platform]].

Revision as of 14:45, 27 March 2009

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

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.