Termination Competition 2011: Difference between revisions
J.waldmann (talk | contribs) No edit summary |
No edit summary |
||
| Line 4: | Line 4: | ||
* Software requests: May 13 2011 | * Software requests: May 13 2011 | ||
* Problem submission: May 27 2011, | * Problem submission: May 27 2011, 13:01 CEST | ||
* Tool submission: May 27 2011, | * Tool submission: May 27 2011, 13:01 CEST | ||
* Competition start: May 30 2011 | * Competition start: May 30 2011, 09:00 CEST | ||
The [http://termcomp.uibk.ac.at/2011/rules.html rules of the competition] and | 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 | [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. | the [http://termcomp.uibk.ac.at/ termination competition] website. | ||
Revision as of 18:06, 24 May 2011
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.