Difference between revisions of "News:Plan for Termination Competition 2012"

From Termination-Portal.org
Jump to navigationJump to search
(Created page with " <!-- Please insert the corresponding information below so that the news page can be generated automatically. Line breaks are allowed! You may use MediaWiki syntax h...")
(No difference)

Revision as of 14:40, 3 December 2011


June 26, 2012

We plan to attach the 2012 Termination Competition as a satellite event to IJCAR.

Retrieved from "http://termination-portal.org/mediawiki/index.php?title=News:Plan_for_Termination_Competition_2012&oldid=1179"