Logic List Mailing Archive

CfP: International School on Rewriting 2026, 12–16 July 2026, Nijmegen (The Netherlands)

Hello All,

Early registration for the International School on Rewriting is now open!

The 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:

A basic track to introduce students to term rewriting. This is a comprehensive (2EC) course that explains core concepts of first-order term rewriting accompanied with exercise sessions, targeted at students with little or no prior experience with term rewriting:
 <  https://isr2026.cs.ru.nl/basic.html >.

An advanced track to introduce more experienced students to various topics studied in active research in the area:
<  https://isr2026.cs.ru.nl/advanced.html >.

The school is held on 12--16 July 2026 (so the week before FLoC, but leaving sufficient time to travel to FLoC). The school will be in English, and is open to students from all countries (provided they can come to the Netherlands).

Registration instructions are available at:
< https://isr2026.cs.ru.nl/registration.html >.

We hope to see you there!

--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php