Sites Inria

Version française



Best paper award for three members of the Proval project-team

PROVAL research-team © Inria Saclay - Île-de-France

Mohamed Iguernelala, Evelyne Contejean and Sylvain Conchon, from the Proval research-team, have won the EATC award (European Association for Theoretical Computer Science)  for the ETAPs 2011 best paper (European Joint Conferences on Theory and Practice of Software).

Their paper, "Canonized Rewriting and Ground AC-Completion Modulo Shostak Theories", has been submitted for the conference TACAS 2011 (Tools and Algorithms for the Construction and Analysis of Systems).

Keywords: Prize Saclay - Île-de-France Proval