ISR 2026 — 15th International School on Rewriting

12 July – 16 July 2026; Nijmegen, Netherlands

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 15th International School on Rewriting takes place in the Radboud University Nijmegen, in the Netherlands. The school is aimed at master and PhD students, researchers and practitioners interested in the study of rewriting concepts and their applications. The school offers two different tracks:

• Basic track: a comprehensive introductory course to first-order term rewriting accompanied with exercise sessions, for participants without previous exposure to term rewriting
• Advanced track: a series of more advanced courses on recent developments and applications

The courses are taught by leading experts in the field.

Both tracks have a shared excursion on Tuesday afternoon.

The school is organised under the auspices of IFIP WG 1.6 and is affiliated with IPA. IPA is a Dutch national research school targeting PhD students in the areas of software engineering, formal methods and algorithmics. IPA brings together young researchers from different institutes and helps them explore topics beyond their own research.