22/07-24/07 2025 Loughborough, GB
Tue, 22 Jul - 24 Jul
ISR 2026 — 15th International School on Rewriting 12 July – 16 July 2026; Nijmegen, Netherlands Term rewriting is a powerful model of computation that underlies much of declarative programming and which is heavily used…
Sun, 12 Jul