International School on Rewriting (ISR)

Rewriting is a powerful model of computation that underlies much of declarative programming and which is heavily used in symbolic computation in mathematics, theorem proving, and protocol verification.

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

Upcoming editions

The 14th International School on Rewriting (ISR) will be organised by Aart Middeldorp, Georg Moser, and René Thiemann from August 25 to September 1, 2024 in Obergurgl, Austria.

Previous editions:

September 19-24, 2022 (Tbilisi, Georgia): web site
July 5-16, 2021 (Madrid, Spain): web site
July 1-6, 2019 (Paris, France): web site
July 30-August 3, 2018 (Cali, Colombia):
July 3-7, 2017 (Eindhoven, Netherlands): web site
August 10-14, 2015 (Leipzig, Germany): web site
August 25-29, 2014 (Valparaiso, Chile): web site
July 16-20, 2012 (Valencia, Spain): web site.
July 3-8, 2010 (Utrecht, The Netherlands): web site.
June 22-26, 2009 (Brasilia, Brazil): web site.
July 21-26, 2008 (Obergurgl, Austria): web site.
July 2-6, 2007 (Nancy, France): web site.
July 3-7, 2006 (Nancy, France): web site.

General Organization:

Steering Committee: Frederic Blanqui, Besik Dundua, Narciso Martí Oliet, Camilo Rocha, René Thiemann (chair), Johannes Waldmann, Hans Zantema
Past Steering Committee Members: Mauricio Ayala Rincon, Carlos Castro, Gabriele Keller, Salvador Lucas, Vincent van Oostrom
Bylaws