Difference between revisions of "Termination Competition 2011"
From Termination-Portal.org
Jump to navigationJump to searchJ.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...") |
(No difference)
|
Revision as of 10:58, 19 April 2011
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)