[TYPES/announce] International School on Rewriting: 12 July – 16 July (Nijmegen, the Netherlands)

[Cynthia Kop]

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://urldefense.com/v3/__https://isr2026.cs.ru.nl/basic.html__;!!IBzWLUs!UIWhf40RYn5u49-DHsjo4COFCPvrJq4MoUB1dfNbx22cSqIKitE2QMBIxCHqxnHC_ktK--qrf30cJZYrT8KPlfYiog6H$ 
  * An advanced track to introduce more experienced students to various
    topics studied in active research in the area:
    https://urldefense.com/v3/__https://isr2026.cs.ru.nl/advanced.html__;!!IBzWLUs!UIWhf40RYn5u49-DHsjo4COFCPvrJq4MoUB1dfNbx22cSqIKitE2QMBIxCHqxnHC_ktK--qrf30cJZYrT8KPlaXWMTQ2$ 

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://urldefense.com/v3/__https://isr2026.cs.ru.nl/registration.html__;!!IBzWLUs!UIWhf40RYn5u49-DHsjo4COFCPvrJq4MoUB1dfNbx22cSqIKitE2QMBIxCHqxnHC_ktK--qrf30cJZYrT8KPlQ-H-ryM$ 

We hope to see you there!

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260407/d775c975/attachment.htm>