EATCS Best Paper Award at ETAPS 2011

The reciepent of the EATCS Best Paper Award in Theoretical Computer Science at the European Joint Conferences on Theory and Practice of Software 2011, ETAPS'11, has been chosen. It is the TACAS paper "Canonized Rewriting and Ground AC-Completion Modulo Shostak Theories" by Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala.

More information

e-max.it: your social media marketing partner
 
European Association for Theoretical Computer Science - Maintained and hosted by RU1 / CTI.