News:Plan for Termination Competition 2012: Difference between revisions
J.waldmann (talk | contribs) No edit summary |
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=Jun 26, 2012 | ||
}} | }} | ||