ISR 2024 – 14th International School on Rewriting
August 25 – September 1, 2024, Obergurgl, Austria
Organisation
ISR 2024 is organised by the Computational Logic and Theoretical Computer Science research groups of the University of Innsbruck:
- Gernot Baumgartner
- Martina Ingenhaeff
- Aart Middeldorp
- Georg Moser
- René Thiemann