ISR 2024

ISR 2024 – 14th International School on Rewriting


August 25 – September 1, 2024, Obergurgl, Austria


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 14th International School on Rewriting takes place in Obergurgl, Austria. 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 three different tracks:


A  a comprehensive introductory course to first-order term rewriting accompanied with exercise sessions, for participants without previous exposure to term rewriting,
B  a comprehensive introductory course to lambda-calculus and type theory accompanied with exercise sessions, for participants without previous exposure to lambda-calculus and type theory,
C  a series of more advanced courses on recent developments and applications.

The courses are taught by leading experts in the field.


The school is organised under the auspices of IFIP WG 1.6. Tracks A and B are Aurora courses, open to students from other Aurora universities.