Termination Competition 2008

From Termination-Portal.org
Revision as of 11:59, 22 October 2008 by 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....)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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)