Termination Competition 2012

From Termination-Portal.org
Revision as of 15:52, 19 April 2012 by Thiemann (talk | contribs)
Jump to navigationJump to search

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.

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Termination_Competition_2012&oldid=1201"