News:Plan for Termination Competition 2012: Difference between revisions
J.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) No edit summary |
||
| 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=November 29, 2011 | ||
}} | }} | ||