\n

Rewriting is a powerful model of computation that underlies much of declarative programming and is ubiquitous in mathematics, logic, theorem proving, verificat ion, model-checking, compilation, biology, chemist ry, physics, etc. The school is aimed at Master an d PhD students, researchers and practitioners inte rested in the use or the study of rewriting and it s applications.

\n\nWe intend to offer on the one hand a basic track on rewriting and on lam bda calculus, and on the other hand an advanced tr ack on more specialized topics, related to state-o f-the-art research and novel applications. The typ ical day will contain 4 slots of 90 minutes.

\n

URL:http://cbr.uibk.ac.at/ifip-wg1.6/summerschool.
html
CONTACT:Narciso Marti-Oliet at narciso at ucm.es
END:VEVENT
END:VCALENDAR
If you are interested in giving a lecture in the advanced track, send us a mail befo re the deadline above with the following informati ons: a title, an abstract, an outline of the lectu re, some bibliographical references, an expected d uration (in number of slots), and whether the lect ure includes exercises or experiments.

\n\nWe encourage applications from both theory and ap plications and will pay particular attention to su bmissions on topics not covered in the the last sc hools.