International School on Rewriting
Zaterdag 3 juli 2010 00:00
- Donderdag 8 juli 2010 00:00
- 0 mensen gaan
Term rewriting is a powerful model of computation underlying much of declarative programming and 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 Brasília (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.
For more information, see: http://www.phil.uu.nl/isr2010/.
- Wie:
- Summerschool Utrecht 2010
- Wat:
- International School on Rewriting
- Waar:
- Binnenstad Utrecht
- Wanneer:
- 3 tot 8 juli 2010
- Kosten:
- 200 euro