Difference between revisions of "Termination Competition 2012"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) |
|||
| Line 17: | Line 17: | ||
Further information can be found on the [http://termcomp.uibk.ac.at/2012/rules.html 2012 competition site of the Termcomp Platform]. | Further information can be found on the [http://termcomp.uibk.ac.at/2012/rules.html 2012 competition site of the Termcomp Platform]. | ||
| + | |||
| + | [[Termination_Competition_2012_Comments]] | ||
Latest revision as of 18:11, 26 June 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.
