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:
- Jan Friso Groote: model checking with the mCRL2 toolset: trillions of term rewriting steps. How to get it fast?
- Andrej Dudenhefner: mechanizing undecidable properties of rewriting systems using the Rocq Prover
- Herman Geuvers: weak and strong normalization for typed lambda calculus
- Aart Middeldorp: tree automata techniques for term rewriting
- Carsten Fuhs: termination proving for rewrite systems and programs
Track schedule (see the program for the overall program outline)
| Sunday | Monday | Tuesday | Wednesday | Thursday | |
|---|---|---|---|---|---|
| 9:00–10:30 | Jan Friso Groote | Andrej Dudenhefner | Herman Geuvers | Aart Middeldorp | Carsten Fuhs |
| 10:30–11:00 | break | ||||
| 11:00–12:30 | Jan Friso Groote | Andrej Dudenhefner | Herman Geuvers | Aart Middeldorp | Carsten Fuhs |
| 12:30–13:30 | break | ex cur sion |
break | ||
| 13:30–15:00 | Andrej Dudenhefner | Jan Friso Groote | Carsten Fuhs | Aart Middeldorp | |
| 15:00–15:30 | break | break | |||
| 15:30–17:00 | Andrej Dudenhefner | Jan Friso Groote | Carsten Fuhs | Aart Middeldorp | |
| 17:00–18:00 | dinner | dinner | |||