Course: Rewriting

Eindhoven University of Technology, Eindhoven
3-7 July, 2017


The 9th International School on Rewriting (ISR 2017) is aimed at master and PhD students, researchers, and practitioners interested in the study of rewriting concepts and their applications. IPA PhD students can participate free of charge in the Basic Track of this summer school.

For details and registration, see below (please, mention your affiliation with IPA when registering). Registration closes by 15 June. Note that:

  • overnight accommodation is not included in the registration but if you decide to book a hotel, the hotel costs (with a maximum of 90 euro per night) will be reimbursed by IPA after the event (for clarity: for IPA students only),
  • in case of demonstrable prior knowledge of the topic–and depending on availability–the Advanced Track may be taken instead of the Basic Track after approval from the organiser,
  • taking this course discharges you of the requirement to take the IPA FM course.

The school features lectures by renowned researchers in rewriting, and is organised in two parallel tracks: the Basic Track and the Advanced Track.

  • The BASIC TRACK is intended for students who enter the field.
  • The basic track can, if desired, be round off with an examination of 3EC.

Basic Track

The teachers of the Basic Track are:

  • Aart Middeldorp (University of Innsbruck)
  • Sarah Winkler (University of Innsbruck)

Advanced Track

The Advanced Track consists of eight shorter courses. The (preliminary) programme of the Advanced Track is available via the website

The teachers and courses of the Advanced Track are:

  • Beniamino Accatoli (INRIA): The Complexity of Beta-Reduction
  • Carsten Fuhs (University of London): Proving Program Termination via Term Rewriting
  • Thomas Genet (IRISA, France): Tree Automata for Reachability in Rewriting
  • Philippe Malbos (University of Lyon), and Samuel Mimram (Ecole Polytechnique): Two-dimensional Rewriting Techniques and Applications
  • Temur Kutsia (University of Linz): Solving Equational Problems: Matching and Unification
  • Julian Nagele (University of Innsbruck), and Vincent van Oostrom (University of Innsbruck):
  • Christian Sternagel (University of Innsbruck), and René Thiemann (University of Innsbruck):
    Formalizing Rewriting in Isabelle
  • Johannes Waldmann (RWTH Leipzig): Weighted Automata and Rewriting

Poster Session

Every participant has the opportunity to participate in the Poster Session. The posters will be shown during the school, and can be presented in the Poster Session on Wednesday.


You can register for ISR 2017 by sending an email to Please mention your full name, institution, and IPA. It is appreciated if you mention the subjects you are particularly interested in.

If you have any questions, please feel free to contact the organisers:

Hans Zantema, email:
Femke van Raamsdonk, email:
Margje Mommers-Lenders, email: