5 - 16 July 2021, 12th International School on Rewriting (ISR 2020), Virtual

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.