Termination Competition 2008: Difference between revisions
J.waldmann (talk | contribs) New page: From 2008 onwards, the competition will be ongoing: submission of new problems and provers is possible anytime via... * Termination Competition Execution Platform: http://colo5-c703.uibk.... |
J.waldmann (talk | contribs) No edit summary |
||
| (5 intermediate revisions by 3 users not shown) | |||
| Line 2: | Line 2: | ||
submission of new problems and provers is possible anytime via... | submission of new problems and provers is possible anytime via... | ||
* | * [http://termcomp.uibk.ac.at/termcomp/ Termination Competition Execution Platform] ([http://lists.lri.fr/pipermail/termtools/2008-October/000511.html how to submit]) | ||
Still, there will be certain deadlines where | Still, there will be certain deadlines where | ||
all data is collected and a report is produced. Upcoming deadlines are: | all data is collected and a report is produced. Upcoming deadlines are: | ||
* ( | * (passed) 1 November 2008 (report will be presented at Workshop on Termination in June 2009) | ||
* new execution platform will be available for testing shortly before WST09 (that is, in May) | |||
* future deadlines will be discussed during WST09 | |||
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, | |||
here is a separate page (a wishlist) for design issues: [[Termination_Competition_Platform]]. | |||
Latest revision as of 12:56, 24 April 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:
- (passed) 1 November 2008 (report will be presented at Workshop on Termination in June 2009)
- new execution platform will be available for testing shortly before WST09 (that is, in May)
- future deadlines will be discussed during WST09
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.