coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Last Call for Participation: 12th International School on Rewriting (ISR 2021), online and free

From: ADRIAN RIESCO RODRIGUEZ <ariesco AT fdi.ucm.es>
To: coco AT jaist.ac.jp, termtools AT lri.fr, rewriting AT trs.css.i.nagoya-u.ac.jp, coq-club AT inria.fr, ssreflect AT msr-inria.inria.fr, agda AT lists.chalmers.se, gdr.gpl AT imag.fr, gdr-im AT gdr-im.fr, fom AT cs.nyu.edu, homotopytypetheory AT googlegroups.com, rewriting AT ens-lyon.fr, why3-club AT lists.gforge.inria.fr, pvs AT csl.sri.com, maude-users AT lists.cs.illinois.edu, isabelle-users AT cl.cam.ac.uk, hol-info AT lists.sourceforge.net, types-announce AT lists.seas.upenn.edu, geoff AT cs.miami.edu, logic AT math.uni-bonn.de, prooftheory AT lists.bath.ac.uk, nuprl AT cs.cornell.edu, folli AT folli.info, loginf AT lists.tcs.ifi.lmu.de, project-calculemus AT jacobs-university.de, rewriting AT inria.fr, cl-isabelle-users AT lists.cam.ac.uk, why3-club AT groupes.renater.fr, interne AT lsv.fr, upscale AT inria.fr, deducteam-seminar AT inria.fr
Subject: [Coq-Club] Last Call for Participation: 12th International School on Rewriting (ISR 2021), online and free
Date: Fri, 25 Jun 2021 16:33:42 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ariesco AT fdi.ucm.es; spf=Pass smtp.mailfrom=ariesco AT ucm.es; spf=None smtp.helo=postmaster AT mail-ed1-f43.google.com
Ironport-hdrordr: A9a23:coTi8aO9GzCUs8BcTsyjsMiBIKoaSvp037BL7TEXdfUxSKalfq+V7ZcmPHPP6Ar5O0tApTnjAtjjfZq0z/ccirX5Vo3SOTUO1lHYSL2KLrGP/9QjIUDDHyJmupuIupIRNOHN
Ironport-phdr: A9a23:7IwZqREah4+l4FUdxJu1kp1GfzRJhN3EVzX9CrIZgr5DOp6u447ldBSGo6k03RmSAdqQsa0MotGVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7GMNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+5pnebx9GiTeyY75+Iwu6oAfMvcQKnIVuLbo8xAHUqXVSYeRWwm1oJVOXnxni48q74YBu/SdNtf8/7sBMSar1cbg2QrxeFzQmLns65Nb3uhnZTAuA/WUTX2MLmRdVGQfF7RX6XpDssivms+d2xSeXMdHqQb0yRD+v6bpgRh31hycdLzM2/2HZhMJzgqxGvhyuuwdyzJTIbIyPLvdyYr/RcNEcSGFcXshRTStBAoakYoYTAeQPIeVWopXlqVATsRWwBgaiCv7xxzFRm3T4wbQ03eo9Hw/F3QIvEd0Av3fJp9jyLqgSS+G1w7fTzTrfaPNbwjn955XJchw7vPGDQbdwfdDPxkk0Dg7IiEibpoP5MT2PzOsNr3Sb4PR6VeKpk2MqpA58rzquy8oyloXEhI0bx1/A+Ct33Io4ONK2RVJnbNCqHpZduCCXOYV1T84hTW9lpDo2xLIatJO5fiUHyZsqyhjCYPKJdIiI5wjsVOeXITpgmXJqZLe/iwys/ki7zOD3S8q60E5SoyZbjtXBsmoB2h/T58SdVPdx4kSs1SyA2g3d7OxPPFo6mrDBK5E7x749jpoTvlrHHi/xgEj2ibWZdkQg+uSx9evof6jqqoaSN4J7hAzyKKsumsu4AeQ3NggBQXKX9vi71L3m5UH5QbNKgeMqkqTBrpzWOcAWqrS6DgJVyIov9QqzAjS83NkXk3QLNFdFdwiGj4jtNVHOOvf4DfKnjlu2ijdrxu7JPqb9DZXKNXXDjavufbNn50FC0wo/1cpf6I5MCrEdPPLzXVf8u8DfDh8gKgC73+LnCMhm2Y4FQmKOAqqZMLvIvlOS5+IvJfOMZI4PtzrnJfgl/a2msXhsklgWeoGr1JoMdDaxFbJkOwHRfXf2h8sGFmMRlg4kTarkkhnKSzNMfXeuXqQzzi0hE8StFpyFR8aribOGzS7+A9tfbSZEEhTEGnDxMo6ARv0kaSSII8YnnCZAHaO6UYIv0RylqCf/0KAiL+zO+yRetJT51dEz6feX3Rg9+TVcC8WGz3rLRGF9mmYFXSRwx6076UNx0BGMyaxQgvlRGppd/bcBXQsgcJ/Z5+N2EZXzX0TPZJPBRlGjat69RzcgU5Q8z8JKK0Z6HtK+iQjSwzuyDqMVmruRFbQ79aXT23X+PcFg022A364kyxE8T9RVNHGngKFX+g7IQorYlEPfmbzuPbsczXWI/2Oex0KKvVpES0h/X6LfUn1ZZ03MrN2/6FmGB6ewEpwsKQ8H0tSDbKBNb5mhiFxbSPqmJc/TeXmZn2arGQ3OzajKbY7uemMa3T6bBUQZ10gS5n+MOAw6C2K8uG/EFxRlERTkakaq+OI4tXD/Bk8zy0SLaUNm/7604QIOw+ebVukY07wDoigs7TN5ABL1w8POBsHFrgxne7haat4V5FZcyXmfrAF0Jdq9N61kgBgTfxkz90zj0Bt5Io5b180rpXYrigd+NObQ1FROdjiw2JnsOvvKLGi39hepbeja1xWWyMyR/akT6Pk/sUTLuACyClFk+Xx7059c2D2B5dGCChcKS5bZWV1x/B9gobzeZm8w656QnXNrNa21mjHF39YoQuojxBHkN9NYP6KCGif2EtYGHI6yI/dsmlaoKBYBIaZe+ep8J9mhdfaNxOugNeJrgTariHlcyIJ02UWG7G9hTO/W0owewu2JmAeKE3/mgUi7s9z2n49sZDcIH2P5xzKgTIVVI6xpdIwGDWOjZtCsy89lr5rsQGJDslWqAhUP04m0el7acFzshkhb0VkdiXO9njagwicyiTwvp7aSxmrA2aCqdRwbN3RNSUFmlkmqL5Lwx80CR0OhawUBlR2/5E+8ybIf7KhyI3TYXUpBem3tImRjVKKqnruEec9Grp0y4gtNV+HpSHyga5fb6yE7/hjIOCNk4xwBVh6Xl6exyxVgiW+GJ3FbonbYP9x7wFHS/4qPFrZqwjMaSXwg2nHsDV+mMozxlT11v5LKs+T7Wm74E5MPKm/kyoSPsCb97mpvU0XXdx+bh9biVwUhg3aTPzxCWynJ6gv3Z8/mzPbiWd8=

==================
LAST CALL FOR PARTICIPATION
==================

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/

Registration (FREE but required) is open at:

https://eventos.ucm.es/66824/detail/12th-international-school-on-rewriting-isr-2021.html

==================

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 is FREE but required.

https://eventos.ucm.es/66824/detail/12th-international-school-on-rewriting-isr-2021.html

==================
ORGANIZERS
==================

David de Frutos Escrig
Narciso Marti-Oliet
Albert Rubio
Manuel Montenegro
Adrian Riesco

Contact: narciso AT ucm.es

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

[Coq-Club] Last Call for Participation: 12th International School on Rewriting (ISR 2021), online and free, ADRIAN RIESCO RODRIGUEZ, 06/25/2021