[Caml-list] IJCAR 2012: 2nd Call for Papers

2011-12-29 Thread Bernhard Gramlich
* Apologies for multiple copies of this announcement * -- Second Call For Papers --- IJCAR 2012 6th International Joint Conference on Automated Reasoning Manchester, UK, Ju

[Caml-list] Final Call For Papers RTA 2012

2011-12-29 Thread Georg Moser
* Final Call For Papers * * RTA 2012 * * Rewriting Techniques and Applications* * 23rd International Conference