News:Plan for Termination Competition 2012

From Termination-Portal.org
Revision as of 14:48, 3 December 2011 by J.waldmann (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search


Jun 26, 2012

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