Jump to content

Termination Competition 2010

From Termination-Portal.org
Revision as of 11:05, 29 April 2010 by J.waldmann (talk | contribs) (Created page with 'The termination competition will be run during the Federated Logic Conference http://www.floc-conference.org/ in July 2010.')
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

The termination competition will be run during the Federated Logic Conference http://www.floc-conference.org/ in July 2010.

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