Difference between revisions of "Termination Competition 2008"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) |
J.waldmann (talk | contribs) |
||
| 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://colo5-c703.uibk.ac.at:8080/termcomp/ | + | * [http://colo5-c703.uibk.ac.at:8080/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 | ||
Revision as of 12:03, 22 October 2008
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)
