<div dir="ltr">==================<br>LAST CALL FOR PARTICIPATION<br>==================<br><br>12th International School on Rewriting (ISR 2021)<br>5-16 July 2021<br>Virtual event hosted via ZOOM by<br>Universidad Complutense de Madrid<br><br><a href="https://dalila.sip.ucm.es/isr2021/">https://dalila.sip.ucm.es/isr2021/</a><br><br>Registration (FREE but required) is open at:<br><br><a href="https://eventos.ucm.es/66824/detail/12th-international-school-on-rewriting-isr-2021.html">https://eventos.ucm.es/66824/detail/12th-international-school-on-rewriting-isr-2021.html</a><br><br>==================<br><br>Rewriting is a powerful model of computation that underlies much of declarative <br>programming and is ubiquitous in mathematics, logic, theorem proving, verification, <br>model-checking, compilation, biology, chemistry, physics, etc.<br><br>In 2021, the 12th International School on Rewriting (ISR 2021) will take place online <br>as a virtual event hosted via ZOOM by the Computer Science School at Universidad <br>Complutense de Madrid, Spain.<br><br>The school is aimed at Master and PhD students, researchers and practitioners <br>interested in the use or the study of rewriting and its applications.<br><br>From July 5 to July 16 a course will be taught every day, according to the<br>schedule published in the web page.<br><br>==================<br>COURSES<br>==================<br><br>Christiano Braga: Compiler construction in Maude<br>Paola Bruscoli: An introduction to deep inference methodology in proof theory<br>Santiago Escobar: Unification and Narrowing in Maude 3.0<br>Maribel Fernandez: Nominal rewriting <br>Carsten Fuhs: Automated complexity analysis for term rewriting<br>Maja H. Kirkeby & Robert Glück: Inversion and term rewriting systems<br>Jean-Jacques Levy: Lambda calculus, the generalized finite development theorem <br>Luigi Liquori & Vincent van Oostrom: Lambda calculi with patterns <br>Dorel Lucanu, Xiaohong Chen & Grigore Rosu: From rewriting to matching logic<br>Jorge A. Perez: Session types for message-passing concurrency<br>Carolyn Talcott: Pathway Logic, using rewriting logic to understand how cells work<br><br>==================<br>REGISTRATION<br>==================<br><br>Registration is FREE but required. <br><br><a href="https://eventos.ucm.es/66824/detail/12th-international-school-on-rewriting-isr-2021.html">https://eventos.ucm.es/66824/detail/12th-international-school-on-rewriting-isr-2021.html</a><br><br>==================<br>ORGANIZERS<br>==================<br><br>David de Frutos Escrig<br>Narciso Marti-Oliet<br>Albert Rubio<br>Manuel Montenegro<br>Adrian Riesco<br><br>Contact:  <a href="mailto:narciso@ucm.es">narciso@ucm.es</a><br><br>ISR 2021 is promoted by the IFIP WG1.6 and supported by Universidad Complutense de Madrid. <br>==================<br></div>