News:Plan for Termination Competition 2012

From Termination-Portal.org
Revision as of 14:40, 3 December 2011 by J.waldmann (talk | contribs) (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...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search


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"