Termination Competition 2013

From Termination-Portal.org
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 19 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.