Difference between revisions of "Termination Competition 2016 Data"

From Termination-Portal.org
Jump to navigationJump to search
(Created page with "== Timeline == (all times are CEST) * around 09:00 start Termination and Complexity Analysis of Programs * around 11:00 start Termination and Complexity Analysis of Rewritin...")
 
Line 1: Line 1:
 +
Once the competition is started, an URL for live data will be inserted here.
 +
 
== Timeline ==
 
== Timeline ==
  
(all times are CEST)
+
(all times are Obergurgl local time = CEST)
  
 
* around 09:00 start Termination and Complexity Analysis of Programs
 
* around 09:00 start Termination and Complexity Analysis of Programs
 
* around 11:00 start Termination and Complexity Analysis of Rewriting
 
* around 11:00 start Termination and Complexity Analysis of Rewriting
* results should be available around 14:00
+
* around 14:00 results should be available

Revision as of 21:15, 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