Email Gateway (May 21 2026 at 14:58): Email Gateway (May 21 2026 at 14:58):From: Cynthia Kop <cl-isabelle-users@lists.cam.ac.uk>
From 12 to 16 July, the 15th edition of the International School on
Rewriting will take place in Nijmegen, the Netherlands.
This school is aimed at Master and PhD students, researchers and
practitioners interested in the study of rewriting concepts and their
applications. The school offers two different tracks:
* Basic track [https://isr2026.cs.ru.nl/basic.html]: a comprehensive
introductory course to first-order term rewriting accompanied with
exercise sessions, for participants without previous exposure to
term rewriting
* Advanced track [https://isr2026.cs.ru.nl/advanced.html]: a series of
more advanced courses on recent developments and applications,
taught by leading experts in the field.
Term rewriting is a powerful model of computation that underlies much of
functional programming and which is heavily used in symbolic computation
in mathematics, theorem proving, and protocol verification.
Consequently, knowing the basics is beneficial in many areas and the
Early registration ends on 2 June 2026. Registration instructions are
provided at https://isr2026.cs.ru.nl/registration.html
Registration includes the lectures, breakfast, lunch and dinner,
accommodation (two students to a room — see
https://isr2026.cs.ru.nl/accommodation.html
<https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fisr2026.cs.ru.nl%2Faccommodation.html&data=05%7C02%7CIPA%40TUE.nl%7C384948b4db81405e8ee408de9a0ab7e5%7Ccc7df24760ce4a0f9d75704cf60efc64%7C0%7C0%7C639117567981679436%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=bxrjLHB0D0UEaIq%2FQbCr0CvYqNI%2BXQ5OkdErMC1D9so%3D&reserved=0>)
and the social event.
Note that the school is held in the week before the Federated Logic
Conferences, but the event is scheduled in such a way as to allow for
enough time to travel to Lisbon before the first workshop.
Hope to see you there!
Last updated: May 23 2026 at 03:31 UTC