[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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!WIqY12kj5Lxlrzl2pDaf6CSXwDgLdJ5QprR_N_sUKMbp6KUP4pb_BcWI848wPuKjGAeG-rjDfnpOuIweS3nDDBVqnzgZJMhsdVb_GmtUTw$
* update 1: extended early registration deadline to May 20
* update 2: new financial supported by EuroProofNet
EuroProofNet
(https://urldefense.com/v3/__https://europroofnet.github.io/__;!!IBzWLUs!WIqY12kj5Lxlrzl2pDaf6CSXwDgLdJ5QprR_N_sUKMbp6KUP4pb_BcWI848wPuKjGAeG-rjDfnpOuIweS3nDDBVqnzgZJMhsdVa3AHy9RA$
) can partially fund a number of
participants to ISR 2024 (transport + 100 euros/day). The deadline is May 19.
People willing to be funded should:
1) register to at least one EuroProofNet working group on
https://urldefense.com/v3/__https://e-services.cost.eu/action/CA20111/working-groups/apply__;!!IBzWLUs!WIqY12kj5Lxlrzl2pDaf6CSXwDgLdJ5QprR_N_sUKMbp6KUP4pb_BcWI848wPuKjGAeG-rjDfnpOuIweS3nDDBVqnzgZJMhsdVbJ-_U_0g$
2) send a mail to [email protected] with the track they want to follow +
an estimation of their transport in EUROS + screen capture.
The notification will be given on May 20 morning (the early registration
deadline is May 20). Priority will be given to people living in inclusive-target
countries
(https://urldefense.com/v3/__https://europroofnet.github.io/eligibility/__;!!IBzWLUs!WIqY12kj5Lxlrzl2pDaf6CSXwDgLdJ5QprR_N_sUKMbp6KUP4pb_BcWI848wPuKjGAeG-rjDfnpOuIweS3nDDBVqnzgZJMhsdVY_Vcqkyg$
), women, and people
registering to track A (see below). Please check the
https://urldefense.com/v3/__https://europroofnet.github.io/reimbursement-rules/__;!!IBzWLUs!WIqY12kj5Lxlrzl2pDaf6CSXwDgLdJ5QprR_N_sUKMbp6KUP4pb_BcWI848wPuKjGAeG-rjDfnpOuIweS3nDDBVqnzgZJMhsdVbjVE_5HA$
.
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!WIqY12kj5Lxlrzl2pDaf6CSXwDgLdJ5QprR_N_sUKMbp6KUP4pb_BcWI848wPuKjGAeG-rjDfnpOuIweS3nDDBVqnzgZJMhsdVb_GmtUTw$
ISR 2024 is organized by Aart Middeldorp, Georg Moser and René Thiemann.
