60. Birthday: Jean-Pierre Jouannaud, 2007

Rewriting Foundations

Proof and Computation

Towards Safety and Security