Wednesday, July 14th
Wednesday's program is also available with abstracts and side by side with other events.
09:00‑10:00 Session 1
Location: IF G.07
| 09:00 | Maribel Fernández (Invited Speaker) Closed nominal rewriting: properties and applications |
10:30‑12:30 Session 2
Location: IF G.07
| 10:30 | Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson and Benoît Valiron Equivalence of algebraic λ-calculi |
| 11:00 | Harald Zankl, Nao Hirokawa and Aart Middeldorp Uncurrying for Innermost Termination and Derivational Complexity |
| 11:30 | Giulio Manzonetto and Paolo Tranquilli A Calculus of Coercions Proving the Strong Normalization of MLF |
| 12:00 | Cynthia Kop (student talk) A new formalism for higher-order rewriting |
14:00‑15:00 Session 3
Location: IF G.07
| 14:00 | Silvia Ghilezan (Invited Speaker) Computational interpretations of logic |
15:30‑17:30 Session 4
Chair: Mariangiola Dezani-Ciancaglini
Location: IF G.07
| 15:30 | Thibaut Balabonski On the Implementation of Dynamic Patterns |
| 16:00 | Kristoffer Rose Higher-order Rewriting for Executable Compiler Specifications |
| 16:30 | Ariel Mendelzon, Alejandro Ríos and Beta Ziliani Swapping: a natural bridge between named and indexed explicit substitution calculi |
| 17:00 | Delia Kesner, Carlos Lombardi and Alejandro Ríos Standardisation for constructor based pattern calculi |