Termination Competition 2011

From Termination-Portal.org
Revision as of 08:35, 10 October 2011 by J.waldmann (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Call for participation

Important dates

  • Software requests: May 13 2011
  • Problem submission: May 27 2011, 13:01 CEST
  • Tool submission: May 27 2011, 13:01 CEST
  • Competition start: May 30 2011, 09:00 CEST

The rules of the competition and further information on the computer running the experiments can be found on the termination competition website.

competition results

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