Difference between revisions of "Termination Competition 2012"
From Termination-Portal.org
Jump to navigationJump to searchJ.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...") |
|||
| 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.
