Difference between revisions of "Termination Competition 2016 Data"

From Termination-Portal.org
Jump to navigationJump to search
Line 1: Line 1:
 
Once the competition is started, an URL for live data will be inserted here.
 
Once the competition is started, an URL for live data will be inserted here.
  
* [http://termcomp.imn.htwk-leipzig.de/registered/Y2016 participant]
+
* [http://termcomp.imn.htwk-leipzig.de/registered/Y2016 participants]
  
 
== Timeline ==
 
== Timeline ==

Revision as of 21:18, 5 September 2016

Once the competition is started, an URL for live data will be inserted here.

Timeline

(all times are Obergurgl local time = CEST)

  • around 09:00 start Termination and Complexity Analysis of Programs
  • around 11:00 start Termination and Complexity Analysis of Rewriting
  • around 14:00 results should be available