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...")
 
 
(One intermediate revision by the same user not shown)
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=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.