Termination Competition 2016 Data

From Termination-Portal.org
Revision as of 21:12, 5 September 2016 by J.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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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