ISR 2008

3rd International School on Rewriting

21 – 26 July 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:

  1. a full-fledged introductory course accompanied with exercise sessions, for participants without previous exposure to term rewriting,
  2. a series of more advanced lectures on recent developments and applications.

The school is organised under the auspices of IFIP WG 1.6.