9th International School on Rewriting (ISR 2017)
July 3-7 2017, Eindhoven, The Netherlands

sponsored by

Rewriting is a branch of computer science whose origins go back to the origins of computer science itself (with Thue, Church, Post, and many other prominent researchers). It has strong links with mathematics, algebra, logic, and theorem proving, and it is the basis of well-known programming paradigms like functional and equational programming. In these programming paradigms and corresponding languages, the notions of reduction, pattern matching, confluence, termination, strategy, etc., are essential. Rewriting provides a solid framework for understanding, using, and teaching all these notions. Rewriting techniques are also used in many other areas of software engineering (scripting, prototyping, automated transformation of legacy systems, refactoring, web services, etc.) Rewriting techniques play a relevant role in computing research, education, and industry.

The school ISR 2017 is aimed at master and PhD students, researchers, and practitioners interested in the study of rewriting concepts and their applications.

Earlier ISRs were organized in Nancy (2006), Nancy (2007), Obergurgl (2008), Brasilia (2009), Utrecht (2010), Valencia (2012), Valparaiso (2014), Leipzig (2015). ISR has been initiated and is promoted by the IFIP Working Group 1.6 on Term Rewriting.

There is also general information on ISR, including the Bylaws. The rewriting home page provides some general information on rewriting.

Just like earlier instances of ISR, the 9th International School on Rewriting (ISR 2017) will consist of two tracks: a basic track an an advanced track.

Basic Track

The basic track is an extensive introductory course in (term) rewriting, not assuming particular knowledge of rewriting. It consists of a combination of lectures and exercises. The opportunity is offered to conclude this track by an examination of 3EC.

Teachers of the Basic Track: Aart Middeldorp and Sarah Winkler.

Advanced Track

The advanced track consists of the following 8 courses, typically filled by a combination of lectures and practical exercises.


For both the basic track and the advanced track the registration fee will be 250 euros, if registration is done no later than May 15, 2017. After that the registration fee will be 300 euros. This registration includes online access to all material, coffee and lunches, and an excursion and dinner on Wednesday, July 5.
Registration is done by sending an email to h.zantema@tue.nl, containing name, address, institution and the track for which you register. Apart from these basic data, some background and motivation is appreciated, like whether you are a master or PhD student, your topic of interest and who is your supervisor.

Important dates

Organizing Committee

Last update: March 1, 2017