ISR 2019 will take place at the Ecole des Mines, in the center of Paris, France, between Monday, July 1st, 2019 and Saturday, July 6th, 2019.

It is organized by Frédéric Blanqui (Inria) and Olivier Hermant (Mines ParisTech).

The school proposes to master students, PhD students and researchers, two parallel tracks:

  • Basic track: introduction to first-order term rewriting and λ-calculus
  • Advanced track: advanced lectures on rewriting theory and its applications

The program will be available soon.

This event is supported by the IFIP WG 1.6, the Ecole des Mines, INRIA, the DIM RFSI of the Paris Ile-de-France Region, and the CNRS via the GDR GPL.

Previous schools


Comments are closed.