Rewriting, computation and proof

Mehr zum Buch

Jean-Pierre Jouannaud has significantly impacted research in Informatics through his numerous contributions and the scholars he has mentored. He has been instrumental in advancing the fields of rewriting and its technology, focusing on unification, rewriting and completion modulo, conditional rewriting, termination proofs, modular properties, and automated induction proofs in rewrite theories. His strong interest in algebraic specification languages and their efficient implementation led to his contributions to the design, semantics, and implementation of OBJ2, as well as the enhancement of the Maude rewriting logic system with membership equational logic. Jouannaud has served on the CNU (National University Council) and the CNRS national committee, and he currently leads the computer science laboratory at the Ecole Polytechnique, demonstrating his exceptional management and mentorship abilities. This Festschrift volume celebrates his 60th Birthday on May 12, 2007, featuring 13 refereed papers from prominent researchers and colleagues who gathered for a symposium in Cachan, France, on June 21-22, 2007. The papers are organized into thematic sections on Rewriting Foundations, Proof and Computation, and a concluding section on Towards Safety and Security.