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...") |
(No difference)
|
Revision as of 07:31, 5 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
- Problem submission
- Tool submission
- Competition start