Sites Inria

Version française

Rewriting theory

International School on Rewriting, ISR 2019

The 11th edition of the International School on Rewriting will be held from 1 to 6 July 2019 in Paris. Organized by Inria and MINES ParisTech, it is intended for Master and PhD students as well as researchers interested in the study of rewriting concepts and their application.

  • Date : 1/07/2019 to 6/07/2019
  • Place : MINES ParisTech
  • Organiser(s) : Inria et MINES ParisTech

"Rewriting is a fundamental concept and tool in computer science, logic and mathematics. It models the notion of transition or elementary transformation of abstract entities as well as common data structures like terms, strings, graphs. Rewriting is central in computation as well as deduction and is a crucial concept in semantics of programming languages as well as in proof theory. This results from a long tradition of cross-fertilization with the lambda-calculus and automated reasoning research communities . "

ISR 2006


This 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 (graph rewriting, conditional rewriting, geometry of rewriting, computational complexity of rewrite systems) and an overview of many applications of rewriting techniques in other fields (quantum physics, biology, music, automated deduction, model checking).

Lectures and speakers

The list of speakers and lectures is available on the ISR 2019 website


Registration should be opened from March to the end of April.


  • Frédéric Blanqui (Inria, Deducteam team, LSV et ENS Paris-Saclay)
  • Olivier Hermant (MINES ParisTech)

About the school

ISR is an emanation of Working Group 1.6 of the International Federation for Information Processing (IFIP). Previous editions were held in 2006 and 2007 in Nancy, 2008 in Obergurgl, 2009 in Brasilia, 2010 in Utrecht, 2012 in Valencia, 2014 in Valparaiso, 2015 in Leipzig, 2017 in Eindhoven, and 2018 in Cali.

Find more information on previous schools here.

Keywords: Rewriting Calculation Automatic reasoning Proof