Termination Competition 2013
From Termination-Portal.orgJump 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.
- 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.