ISR 2024 – 14th International School on Rewriting
August 25 – September 1, 2024, Obergurgl, Austria
Sponsors
ISR 2024 is sponsored by
- Aurora
- Department of Computer Science, University of Innsbruck
- EuroProofNet
- International Relations Office, University of Innsbruck
- Kurt Gödel Society