[ The Types Forum (announcements only),
1st Call for Participation
I S R 2008
3rd International School on Rewriting
July 21-26, 2008, Obergurgl, Austria
Term rewriting is a powerful model of computation that underlies much of
declarative programming and which is heavily used in symbolic computation
in mathematics, theorem proving, and protocol verification.
Following the first two editions in Nancy, the 3rd International School on
Rewriting takes place in Obergurgl, Austria. 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 of the participants, we offer two tracks:
(A) a full-fledged introductory course accompanied with exercise sessions,
for participants without previous exposure to term rewriting
(B) a series of more advanced lectures on recent developments and
The school is organised under the auspices of IFIP WG 1.6.
The school takes place in the Obergurgl University Centre of the University
of Innsbruck. Obergurgl is an attractive village located high up (1900
meters) in the Austrian Alps, close to the Italian border.
* Hubert Comon-Lundh
* Dieter Hofbauer
* Jan Willem Klop
* Pierre Lescanne
* Ian Mackie
* Tobias Nipkow
* Vincent van Oostrom
* Femke van Raamsdonk
* Andrei Voronkov
We have grants available to cover the registration fee for a number of
students. Details will be announced on the ISR 2008 web site.