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...") |
J.waldmann (talk | contribs) |
||
| (4 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
| + | [https://listes.ens-lyon.fr/sympa/arc/rewriting/2011-04/msg00009.html Call for participation] | ||
| + | |||
Important dates | Important dates | ||
| − | * Software requests: May 13 | + | * 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 | ||
| + | [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. | ||
| − | + | [http://termcomp.uibk.ac.at/termcomp/competition/liveView.seam?comp=230715&elements=0&increment=0&ticker=15&cols=3&wtool=300&wres=80 competition results] | |
Latest revision as of 08:35, 10 October 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.
