ISR 2019 will take place at MINES ParisTech, PSL University, 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

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

Previous schools


Comments are closed.