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

From Termination-Portal.org
Jump to navigationJump to search
 
Line 13: Line 13:
 
{{News
 
{{News
 
|text=We  [http://lists.lri.fr/pipermail/termtools/2011-November/000876.html  plan] to attach the 2012 Termination Competition as a satellite event to [http://ijcar.cs.manchester.ac.uk/ IJCAR].
 
|text=We  [http://lists.lri.fr/pipermail/termtools/2011-November/000876.html  plan] to attach the 2012 Termination Competition as a satellite event to [http://ijcar.cs.manchester.ac.uk/ IJCAR].
|date=November 29, 2011
+
|date=Jun 26, 2012
 
}}
 
}}

Latest revision as of 14:48, 3 December 2011


Jun 26, 2012

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