Termination Competition 2011

From Termination-Portal.org
Revision as of 10:58, 19 April 2011 by J.waldmann (talk | contribs) (Created page with "Important dates * Software requests: May 13 2010 * Problem submission: May 27 2011, 12:01 CET * Tool submission: May 27 2011, 12:01 CET * Competition start: May 30 2011...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Important dates

  • Software requests: May 13 2010
  • Problem submission: May 27 2011, 12:01 CET
  • Tool submission: May 27 2011, 12:01 CET
  • Competition start: May 30 2011

(more detailed announcement will follow)

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