Difference between revisions of "Termination Competition 2008"

From Termination-Portal.org
Jump to navigationJump to search
(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....)
 
Line 2: Line 2:
 
submission of new problems and provers is possible anytime via...
 
submission of new problems and provers is possible anytime via...
  
* Termination Competition Execution Platform: http://colo5-c703.uibk.ac.at:8080/termcomp/help/register.seam
+
* [http://colo5-c703.uibk.ac.at:8080/termcomp/help/register.seam 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:02, 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)