International School on Rewriting -- 12 to 16 July 2026
Cynthia Kop <[email protected]> Thu, 21 May 2026 16:32:51 +0200
| Newsgroups | gmane.comp.lang.caml.inria |
|---|---|
| Message-ID | <[email protected]> |
This is a multi-part message in MIME format.
--------------HfH0vGJ1XW2y0OEWeCkE0LB0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
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 while the
advanced track offers deeper insight into selected topics (such as
undecidability and formalisation, tree automata, and lambda calculi) and
applications (such as termination and complexity analysis of programs
via term rewriting, and model checking using mCRL2).
*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 (there is a
direct flight to Lisbon from Eindhoven airport).
Hope to see you there!
--------------HfH0vGJ1XW2y0OEWeCkE0LB0
Content-Type: text/html; charset=UTF-8
Content-Transfer-Encoding: 8bit
<!DOCTYPE html>
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p>From 12 to 16 July, the 15th edition of the International School
on Rewriting will take place in Nijmegen, the Netherlands.</p>
<p>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:</p>
<ul>
<li>Basic track [<a class="moz-txt-link-freetext"
href="https://isr2026.cs.ru.nl/basic.html">https://isr2026.cs.ru.nl/basic.html</a>]:
a comprehensive introductory course to first-order term
rewriting accompanied with exercise sessions, for participants
without previous exposure to term rewriting</li>
<li>Advanced track [<a class="moz-txt-link-freetext"
href="https://isr2026.cs.ru.nl/advanced.html">https://isr2026.cs.ru.nl/advanced.html</a>]:
a series of more advanced courses on recent developments and
applications, taught by leading experts in the field.</li>
</ul>
<p>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 while the advanced track offers deeper insight into
selected topics (such as undecidability and formalisation, tree
automata, and lambda calculi) and applications (such
as termination and complexity analysis of programs via term
rewriting, and model checking using mCRL2).</p>
<p><b>Early registration ends on 2 June 2026.</b> Registration
instructions are provided at <a class="moz-txt-link-freetext"
href="https://isr2026.cs.ru.nl/registration.html">https://isr2026.cs.ru.nl/registration.html</a></p>
<p class="x_elementToProof">Registration includes the lectures,
breakfast, lunch and dinner, accommodation (two students to a room
— see <a id="OWAa9700b5f-e5ed-1c32-0326-78ba52b0d309"
class="x_x_moz-txt-link-freetext x_OWAAutoLink"
title="Original URL: https://isr2026.cs.ru.nl/accommodation.html. Click or tap if you trust this link."
href="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"
target="_blank" rel="noopener noreferrer"
data-auth="NotApplicable" data-linkindex="2">https://isr2026.cs.ru.nl/accommodation.html</a>)
and the social event.</p>
<p class="x_elementToProof">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 (there is a direct flight to Lisbon from
Eindhoven airport).</p>
<p>Hope to see you there!</p>
<p><br>
</p>
</body>
</html>
--------------HfH0vGJ1XW2y0OEWeCkE0LB0--