Difference between revisions of "News:Plan for Termination Competition 2012"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) (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...") |
J.waldmann (talk | contribs) |
||
| (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= | + | |date=Jun 26, 2012 |
}} | }} | ||
