Termination Competition 2013

From Termination-Portal.org
Revision as of 14:52, 10 May 2013 by Giesl (talk | contribs)
Jump to navigationJump to search

The Termination Competition 2013 will be run during the RDP 2013 Conference (June 23 - June 28).

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: May 27 2013, 13:01 CEST
  • Problem submission: June 10 2013, 13:01 CEST
  • Tool submission: June 17 2013, 13:01 CEST
  • Competition start: June 24 2013, 09:00 CEST

Further information can be found on the 2013 competition site of the Termcomp Platform.

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