“...Symposium Rewriting, Computation and Proof Cachan, Francie)...”