International School on Rewriting
Dinsdag 7 oktober 2003 00:00
- Dinsdag 7 oktober 2008 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