Termination Competition 2016 Data
From Termination-Portal.orgJump to navigationJump to search
Once the competition is started, an URL for live data will be inserted here.
(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