Difference between revisions of "Termination Competition 2013"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) (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:...") |
|||
(One intermediate revision by one other user not shown) | |||
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 19 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]. |
Latest revision as of 15:34, 17 June 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 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.