[TYPES/announce] ISR 2024: first call for participation

[Aart Middeldorp]

14th International School on Rewriting (ISR 2024)

August 25 - September 1, Obergurgl, Austria

https://urldefense.com/v3/__http://cl-informatik.uibk.ac.at/isr24/__;!!IBzWLUs!RB2wCNzOUOOp_kS2DnxJjoukklPbrgCI8fUfN-5okaeM7fJ0GRfBskqIV8nicKwF6FERaAAPDfW0BBNDq9b8dYYpypPPpnEPOnKgxy6sPqSI$ 

* early registration deadline: May 1

ISR 2024 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

Each track consists of 20 slots of 90 minutes. Further details (including
registration information) can be found on the website of ISR 2024:

https://urldefense.com/v3/__http://cl-informatik.uibk.ac.at/isr24/__;!!IBzWLUs!RB2wCNzOUOOp_kS2DnxJjoukklPbrgCI8fUfN-5okaeM7fJ0GRfBskqIV8nicKwF6FERaAAPDfW0BBNDq9b8dYYpypPPpnEPOnKgxy6sPqSI$ 

ISR 2024 is organized by Aart Middeldorp, Georg Moser and Rene Thiemann.