\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\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 be fore the deadline above with the following informa tions: a title, an abstract, an outline of the lec ture, some bibliographical references, an expected duration (in number of slots), and whether the le cture includes exercises or experiments.

\n\nWe encourage applications from both theory and applications and will pay particular attention to submissions on topics not covered in the the last schools.

\n