Termination Competition 2013

From Termination-Portal.org
Revision as of 13:29, 12 February 2013 by J.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:...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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.

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