3-8 July 2010, 5th International School on Rewriting (ISR 2010), Utrecht

Term rewriting is a powerful model of computation that underlies much of declarative programming and which is heavily used in symbolic computation in logic and computer science. Applications can be found for example in theorem proving and protocol verification, but also in fields such as mathematics, philosophy and biology.

To accommodate the different backgrounds of the participants, we offer two tracks: basic (master / Phd - level) and advanced (PhD / researcher - level).

The Fifth International School on Rewriting (ISR 2010) will be held at Utrecht University, as part of Utrecht Summer School 2010. Previous editions of ISR were held in Nancy, Obergurgl and Brasília.

For more information, see http://www.utrechtsummerschool.nl/index.php?type=courses&code=H16 and http://www.phil.uu.nl/isr2010/.