Rewriting is a powerful model of computation that underlies much of declarative 

programming and is ubiquitous in mathematics, logic, theorem proving, verification, 

model-checking, compilation, biology, chemistry, physics, etc.

 

In 2021, the 12th International School on Rewriting (ISR 2021) will take place online 

as a virtual event hosted via zoom by the Computer Science School at Universidad 

Complutense de Madrid, Spain.

 

The school is aimed at Master and PhD students, researchers and practitioners 

interested in the use or the study of rewriting and its applications.