Jump to content

Termination Competition 2012

From Termination-Portal.org
Revision as of 07:31, 5 April 2012 by 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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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
Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Termination_Competition_2012&oldid=1200"