12 - 16 July 2026, International School on Rewriting
Date: 12 - 16 July 2026
Time: 09:00-17:00
Location: Nijmegen [NL]
Target audience: graduate students
Costs: EUR 1000 (incl. room and board)
Term 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.
ISR 2026 is organised by the Software Science group of Radboud University Nijmegen and the Theory group of VU Amsterdam. The school is aimed at master and PhD students, researchers and practitioners interested in the study of rewriting concepts and their applications.
For more information, see
https://isr2026.cs.ru.nl/index.html
or contact Cynthia Kop at C.Kop at cs.ru.nl.