Difference between revisions of "Termination Competition 2016 Data"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) (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...") |
(No difference)
|
Revision as of 21:12, 5 September 2016
Timeline
(all times are CEST)
- around 09:00 start Termination and Complexity Analysis of Programs
- around 11:00 start Termination and Complexity Analysis of Rewriting
- results should be available around 14:00