Termination Competition 2011: Difference between revisions
No edit summary |
J.waldmann (talk | contribs) No edit summary |
||
| Line 1: | Line 1: | ||
[https://listes.ens-lyon.fr/sympa/arc/rewriting/2011-04/msg00009.html Call for participation] | |||
Important dates | Important dates | ||
Revision as of 10:52, 19 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.