Difference between revisions of "Termination Competition 2011"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) |
|||
| Line 6: | Line 6: | ||
* Competition start: May 30 2011 | * Competition start: May 30 2011 | ||
| − | + | The [http://termcomp.uibk.ac.at/2011/rules.html rules of the competition] and | |
| + | [http://termcomp.uibk.ac.at/2011/index.html further information on the computer running the experiments] can be found on | ||
| + | the [http://termcomp.uibk.ac.at/ termination competition] website. | ||
Revision as of 14:40, 9 May 2011
Important dates
- Software requests: May 13 2011
- Problem submission: May 27 2011, 12:01 CET
- Tool submission: May 27 2011, 12:01 CET
- Competition start: May 30 2011
The rules of the competition and further information on the computer running the experiments can be found on the termination competition website.
