3-8 July 2010
Utrecht, The Netherlands
************ CALL FOR PARTICIPATION ************
ISR 2010
5th International School on Rewriting
July 3-8, 2010, Utrecht, The Netherlands
http://www.phil.uu.nl/isr2010/
************************************************
Background and Organisation
---------------------------
Term rewriting is a powerful model of computation underlying much
of declarative programming, which is heavily used in symbolic
computation in logic and computer science. Applications can be
found in theorem proving and protocol verification, but also in
fields as diverse as mathematics, philosophy and biology.
Following the editions in Nancy (twice, France), Obergurgl (Austria),
and Brasilia (Brazil), the 5th International School on Rewriting takes
place in Utrecht, The Netherlands. The school is aimed at master and
PhD students, researchers and practitioners interested in the study of
rewriting concepts and their applications. To accommodate the different
backgrounds, we offer two (parallel) tracks:
(Basic) A full-fledged introductory course at master/PhD level
accompanied with exercise sessions for students without
previous exposure to term rewriting;
(Advanced) A series of more advanced lectures at PhD/researcher level
on recent developments and state-of-the-art applications.
Master students can obtain 3ECs for successfully participating in the
Basic track. The school is organised under the auspices of IFIP WG 1.6
and takes place as part (course H16) of Utrecht Summer School 2010.
The school is planned such that participants can subsequently attend
the major yearly conference on rewriting, RTA 2010, or other conferences
that are part of the federated logic conference, FLoC 2010, in
Edinburgh.
ISR 2010 is supported by the Netherlands Organisation for Scientific
Research (NWO), Utrecht University and VU University Amsterdam.
Lectures and lecturers
----------------------
o Introduction to Term Rewriting (Basic)
Aart Middeldorp, Univ. of Innsbruck, Austria
Femke van Raamsdonk, VU Amsterdam, The Netherlands
o Applications of Rewriting in Design and Analysis of Algorithms
(lectures shared between Basic & Advanced)
Ashish Tiwari, SRI International, Menlo Park, CA, USA
o Tree Automata and Rewriting (Advanced)
Ralf Treinen, PPS, Univ. Paris-Diderot, France
o Complexity Analysis of Term Rewrite Systems (Advanced)
Georg Moser, Univ. of Innsbruck, Austria
o Termination of Programs (Advanced)
Peter Schneider-Kamp, Univ. of Southern Denmark, Odense, Denmark
o Productivity (Advanced)
Joerg Endrullis, VU Amsterdam, The Netherlands
Dimitri Hendriks, VU Amsterdam, The Netherlands
Clemens Grabmayer, Utrecht Univ., The Netherlands
o SAT solving for term rewriting (Advanced)
Hans Zantema, Eindhoven Univ. of Tech., Radboud Univ. Nijmegen
o Coq and rewriting (Advanced)
Adam Koprowski, R&D MLstate, Paris, France
The Basic and the Advanced track both consist of 26.5 hours
of lectures and exercises/labs. Complete program at:
http://www.phil.uu.nl/isr2010/
Location and Registration
-------------------------
The school takes place in the historical city centre of Utrecht.
Utrecht is located in the centre of the Netherlands, and is known
for its university, its treaty, the 112m high Dom tower dating back
to 1321, its wharves and its canal side terraces. The Netherlands has
a sea climate and the average temperature in July is between 20 and 25
degrees Celsius. Utrecht has excellent public transport connections
to the rest of the country and to the major international airports of
Amsterdam (Schiphol, 30 minutes by train, every 15 minutes) and
Frankfurt (3.5 hours by train, 8 times per day).
Registration via the link to the program above or via
*Courses* -> *Start data* -> *01-15 July 2010* at
http://www.utrechtsummerschool.nl/
o Basic track: 200 euro
o Advanced track: 250 euro
o Housing: 175 euro (saturday and thursday night inclusive)
Fees include participation, course material for both tracks, the ISR
dinner event, and the Social Programme as offered by the Utrecht Summer
School, e.g. world cup semi-finals, but do not include further meals.
We have grants available to cover the registration fee for a number of
exceptional students. See the registration and/or ISR2010 site for details.