25 August - 1 September 2024, 14th International School on Rewriting (ISR 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.

It offers three parallel tracks, taught by well-known experts:
- Track A: comprehensive introduction to first-order term rewriting, lecturer: Aart Middeldorp
- Track B: comprehensive introduction to type theory and lambda calculus, lecturers: Herman Geuvers and Niels van der Weide
- Track C: advanced courses on - Interoperability of Proof Systems using Lambdapi lecturer: Frederic Blanqui - Randomized Programming and Rewriting lecturer: Ugo Dal Lago - Tools in Rewriting lecturer: Nao Hirokawa - Termination and Complexity in Higher-Order Term Rewriting lecturer: Cynthia Kop - SAT/SMT Solving and Applications in Rewriting lecturer: Sarah Winkler.