International School on Rewriting (ISR)

Term rewriting is a powerful model of computation that underlies much of declarative programming and which is heavily used in symbolic computation in mathematics, theorem proving, and protocol verification.

The school is aimed at master and PhD students, researchers, and practitioners interested in the study of rewriting concepts and their applications.

Upcoming editions

Previous editions:

General Organization: