[TYPES/announce] Last call for participation: International School on Rewriting -- July 2026

[Cynthia Kop]

 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://urldefense.com/v3/__https://isr2026.cs.ru.nl/basic.html__;!!IBzWLUs!WOq_bkJ7321bCFr0Pn6n5uzgz7ULHpk28QVD3mMXQpPUoYj-1ICbbYydBuU9wldTH75-o6hvFYWR6Bs3aw4_7QuSs0mQ$ ]: a comprehensive
    introductory course to first-order term rewriting accompanied with
    exercise sessions, for participants without previous exposure to
    term rewriting
  * Advanced track [https://urldefense.com/v3/__https://isr2026.cs.ru.nl/advanced.html__;!!IBzWLUs!WOq_bkJ7321bCFr0Pn6n5uzgz7ULHpk28QVD3mMXQpPUoYj-1ICbbYydBuU9wldTH75-o6hvFYWR6Bs3aw4_7YzBueH7$ ]: a series of
    more advanced courses on recent developments and applications,
    taught by leading experts in the field.

*Early registration ends on 2 June 2026.* Registration instructions are 
provided at https://urldefense.com/v3/__https://isr2026.cs.ru.nl/registration.html__;!!IBzWLUs!WOq_bkJ7321bCFr0Pn6n5uzgz7ULHpk28QVD3mMXQpPUoYj-1ICbbYydBuU9wldTH75-o6hvFYWR6Bs3aw4_7T4VgFOM$ 

Registration includes the lectures, breakfast, lunch and dinner, 
accommodation (two students to a room — see 
https://urldefense.com/v3/__https://isr2026.cs.ru.nl/accommodation.html__;!!IBzWLUs!WOq_bkJ7321bCFr0Pn6n5uzgz7ULHpk28QVD3mMXQpPUoYj-1ICbbYydBuU9wldTH75-o6hvFYWR6Bs3aw4_7aIMDmpT$  
<https://urldefense.com/v3/__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__;JSUlJSUlJSUlJSUlJSUlJSUlJSUlJSU!!IBzWLUs!WOq_bkJ7321bCFr0Pn6n5uzgz7ULHpk28QVD3mMXQpPUoYj-1ICbbYydBuU9wldTH75-o6hvFYWR6Bs3aw4_7eQvv1WP$ >) 
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!

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