Difference between revisions of "Termination Competition 2013"

From Termination-Portal.org
Jump to navigationJump to search
(Created page with "The Termination Competition 2013 will be run during the [http://www.win.tue.nl/rdp2013/ RDP 2013 Conference] (June 23 - June 28). The competition will be hosted on the [http:...")
 
Line 7: Line 7:
  
 
Results will be presented during the conference.
 
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 [http://termcomp.uibk.ac.at/2013/rules.html 2013 competition site of the Termcomp Platform].

Revision as of 14:52, 10 May 2013

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.