Termination Competition 2012: Difference between revisions
J.waldmann (talk | contribs) Created page with "The Termination Competition 2012 is a satellite event of [http://ijcar.cs.manchester.ac.uk/ IJCAR] (June 26-July 1). The competition will be hosted on the Termcomp Platform a..." |
No edit summary |
||
| Line 3: | Line 3: | ||
The competition will be hosted | The competition will be hosted | ||
on the Termcomp Platform at Institute of | on the [http://termcomp.uibk.ac.at Termcomp Platform] at Institute of | ||
Computer Science, University of Innsbruck, | Computer Science, University of Innsbruck, | ||
Austria. | Austria. | ||
| Line 11: | Line 11: | ||
Important Dates | Important Dates | ||
* Software requests | * Software requests: June 1 2012, 13:01 CEST | ||
* Problem submission | * Problem submission: June 12 2012, 13:01 CEST | ||
* Tool submission | * Tool submission: June 19 2012, 13:01 CEST | ||
* Competition start | * Competition start: June 26 2012, 10:00 CEST | ||
Further information can be found on the [http://termcomp.uibk.ac.at/2012/rules.html 2012 competition site of the Termcomp Platform]. | |||
Revision as of 15:52, 19 April 2012
The Termination Competition 2012 is a satellite event of IJCAR (June 26-July 1).
The competition will be hosted on the Termcomp Platform at Institute of Computer Science, University of Innsbruck, Austria.
Results will be presented during the conference.
Important Dates
- Software requests: June 1 2012, 13:01 CEST
- Problem submission: June 12 2012, 13:01 CEST
- Tool submission: June 19 2012, 13:01 CEST
- Competition start: June 26 2012, 10:00 CEST
Further information can be found on the 2012 competition site of the Termcomp Platform.