ISR 2026 — 15th International School on Rewriting
Advanced track
The track consists of five introductory courses on different topics in the broad area of term rewriting. These topics largely consider recent developments and applications, and are taught by researchers who are active in these areas:
- Carsten Fuhs: termination proving for rewrite systems and programs
- Andrej Dudenhefner: mechanizing undecidable properties of rewriting systems using the Rocq Prover
- Herman Geuvers: weak and strong normalization for typed lambda calculus
- Aart Middeldorp: rewriting modulo AC
- TBA: TBA
Tentative schedule (subject to changes)
Arrival: Saturday 11 July from 15:30 (dinner will be catered).
| Sunday | Monday | Tuesday | Wednesday | Thursday | |
|---|---|---|---|---|---|
| 9:00–10:30 | Carsten Fuhs | Andrej Dudenhefner | Herman Geuvers | Aart Middeldorp | TBA |
| 10:30–11:00 | break | ||||
| 11:00–12:30 | Carsten Fuhs | Andrej Dudenhefner | Herman Geuvers | Aart Middeldorp | TBA |
| 12:30–13:30 | break | ex cur sion |
break | ||
| 13:30–15:00 | Andrej Dudenhefner | Carsten Fuhs | TBA | Aart Middeldorp | |
| 15:00–15:30 | break | break | |||
| 15:30–17:00 | Andrej Dudenhefner | Carsten Fuhs | TBA | Aart Middeldorp | |
| 17:00–18:00 | dinner | dinner | |||
Departure: Friday 17 July until 10:00 (breakfast will be provided).