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.
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.