[TYPES/announce] 5th International School on Rewriting, Call for Participation

[Vincent van Oostrom]

Call for Participation

**********
I S R 2010
**********

http://www.phil.uu.nl/isr2010/

5th International School on Rewriting

July 3-8, 2010, Utrecht, The Netherlands

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 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 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.

Lectures and lecturers
----------------------

Introduction to Term Rewriting (B)
   Aart Middeldorp, Univ. of Innsbruck, Austria
   Femke van Raamsdonk, VU Amsterdam, The Netherlands
Applications of Rewriting in Design and Analysis of Algorithms (B & A)
   Ashish Tiwari, SRI International, Menlo Park, CA, USA
Tree Automata and Rewriting (A)
   Ralf Treinen, PPS, Univ. Paris-Diderot, France
Complexity Analysis of Term Rewrite Systems (A)
   Georg Moser, Univ. of Innsbruck, Austria
Termination of Programs (A)
   Peter Schneider-Kamp, Univ. of Southern Denmark, Odense, Denmark
Productivity (A)
   Joerg Endrullis, VU Amsterdam, The Netherlands
   Dimitri Hendriks, VU Amsterdam, The Netherlands
   Clemens Grabmayer, Utrecht Univ., The Netherlands
SAT solving for term rewriting (A)
   Hans Zantema, Eindhoven Univ. of Tech., Radboud Univ. Nijmegen
Coq and rewriting (A)
   Adam Koprowski, R&D MLstate, Paris, France

Complete program and ISR 2010 brochure 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/

Basic track: 175 euro, Advanced track: 225 euro, Housing: 200 euro.
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 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.