Difference between revisions of "Termination Competition 2008"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) |
|||
| 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.
