Thursday 21 June 2018, 14:00, LSV library: Drags: a new framework for graph rewriting and its impact on termination criteria, Jean-Pierre Jouannaud (Université Paris-Sud, Ecole Polytechnique).