Welcome to ISR 2021

Term Rewriting is a simple but powerful model of computation with countless applications to computer science and mathematics. It is heavily used in symbolic computation, formal reasoning, and program verification.

The 12th International School on Rewriting is aimed at MSc students, PhD students, and researchers in general. It provides an introductory course on lambda calculus, but also more advanced courses covering specific areas, such as compiler construction, deep inference, narrowing, complexity analysis, inversion, patterns in lambda calculi, matching logic, session types, and pathway logic.

ISR 2021 will be held online

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.

From July 5 to July 16 a course will be taught every day, according to the schedule published in this site.

Registration will be free but required. See the Registration page for more details.

ISR 2021 is promoted by the IFIP WG1.6 and supported by Universidad Complutense de Madrid.