Program of HOR

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