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 13th International School on Rewriting (ISR) will be organised by Besik Dundua and Temur Kutsia in the 2nd half of September 2022, within the Computational Logic Autumn Sumit in Tbilisi, Georgia.
- Due to the COVID-19 pandemic, the 12th International School on Rewriting (ISR) had to be postponed and will be held at UCM, Madrid in 2021. The school will be organised by Narciso Marti Oliet.
Previous editions:
- July 1-July 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 Marti Oliet,
Camilo Rocha,
Johannes Waldmann (chair)
Hans Zantema
- Past Steering Committee Members:
Mauricio Ayala Rincon,
Carlos Castro,
Gabriele Keller,
Salvador Lucas,
Vincent van Oostrom
- Bylaws
