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 at the University Center 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 also offered as Aurora courses, open to students from other Aurora universities.