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