12 - 16 July 2026, International School on Rewriting, Nijmegen [NL]
Title: International School on Rewriting (ISR) 2026
Date: 12 - 16 July 2026
Location: Nijmegen [NL]
Target audience: academic (incl. master students)
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.
The ISR is open to master and PhD students, researchers and practitioners interested in the study of rewriting concepts and their applications. Participants can follow one of two tracks: basic or advance.
For more information, see
https://isr2026.cs.ru.nl
or contact Cynthia Kop at C.Kop at cs.ru.nl, or Femke van Raasmdonk at f.van.raamsdonk at vu.nl.