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...")
 
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=June 26, 2012
+
|date=November 29, 2011
 
}}
 
}}

Revision as of 14:43, 3 December 2011


November 29, 2011

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