Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 3-8 July 2010
Location: 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/.

Please note that this newsitem has been archived, and may contain outdated information or links.