Difference between revisions of "Termination Competition 2016 Data"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) |
J.waldmann (talk | contribs) |
||
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] | ||
== Timeline == | == Timeline == |
Revision as of 21:17, 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