News:Plan for Termination Competition 2012

From Termination-Portal.org
Revision as of 14:43, 3 December 2011 by J.waldmann (talk | contribs)
Jump to navigationJump to search


November 29, 2011

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