5-16 Jul 2021
================== ANNOUNCEMENT ================== 12th International School on Rewriting (ISR 2021) 5-16 July 2021 Virtual event hosted via zoom by Universidad Complutense de Madrid https://dalila.sip.ucm.es/isr2021/ ================== 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. From July 5 to July 16 a course will be taught every day, according to the schedule published in the web page. ================== COURSES ================== Christiano Braga: Compiler construction in Maude Paola Bruscoli: An introduction to deep inference methodology in proof theory Santiago Escobar: Unification and Narrowing in Maude 3.0 Maribel Fernandez: Nominal rewriting Carsten Fuhs: Automated complexity analysis for term rewriting Maja H. Kirkeby & Robert Glück: Inversion and term rewriting systems Jean-Jacques Levy: Lambda calculus, the generalized finite development theorem Luigi Liquori & Vincent van Oostrom: Lambda calculi with patterns Dorel Lucanu, Xiaohong Chen & Grigore Rosu: From rewriting to matching logic Jorge A. Perez: Session types for message-passing concurrency Carolyn Talcott: Pathway Logic, using rewriting logic to understand how cells work ================== REGISTRATION ================== Registration will be free but required. Details about registration will be published soon. ================== ORGANIZERS ================== David de Frutos Escrig Narciso Marti-Oliet Albert Rubio Contact: narciso@ucm.es ISR 2021 is promoted by the IFIP WG1.6 and supported by Universidad Complutense de Madrid. ================== -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam