Termination Competition 2016 Data

From Termination-Portal.org

Revision as of 21:15, 5 September 2016 by J.waldmann (talk | contribs) (→‎Timeline)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump 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

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Termination_Competition_2016_Data&oldid=1722"

Navigation menu