Termination Competition 2016 Data

From Termination-Portal.org
Revision as of 21:15, 5 September 2016 by J.waldmann (talk | contribs) (→‎Timeline)
Jump to navigationJump to search

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