Schedule

9:00 – 10:00: Jean-Yves Girard (CNRS)

Talk: Thirty years later
10:15 – 10:45: Ugo Dal Lago (Università di Bologna)

Talk: Infinitary Lambda Calculi from a Linear Perspective
11:15 – 11:45: Michele Pagani (Université Paris 7)

Talk: Algebraic Abstract Rewriting Systems
12:00 – 12:30: Marco Pedicini (Università Roma Tre)

Talk: Abstract Machines, Optimal Reduction, and Streams
14:30 – 15:15: Lionel Vaux (Université Aix-Marseille)

Talk: Normalisation and Taylor expansion in a non uniform setting
15:30 – 16:00: Luca Paolini (Università di Torino)

Talk: Recursion Theory and Reversible Computing
16:30 – 17:00: Flavien Breuvart

Talk TBA

9:30 – 10:00: Dale Miller

Talk: On Subexponentials, Synthetic Connectives, and Multi-Level Delimited Control

with Chuck Liang
10:15 – 10:45: Simona Ronchi Della Rocca (Università di Torino)

Talk: Intersection types
11:15 – 11:45: Delia Kesner (Université Paris 7)

Talk: Completeness of Call-by-Need – A fresh view
12:00 – 12:30: Lorenzo Tortora de Falco (Università Roma Tre)

Talk: Proof-NETS and (Intersection) Types
14:00 – 14:45: Damiano Mazza (CNRS-Université Paris 13)

Talk: A Parsimonious Meeting of Church with Cook and Levin
15:00 – 15:30: Charles Grellois

Talk: Semantics of linear logic and higher-order model-checking
16:30 – 18:30: Meeting

9:00 – 9:45: Olivier Laurent (CNRS-ENS Lyon)

Talk: Focusing in Orthologic
10:00 – 10:30: Godfroy Hubert

Talk: Linear logic for staged computation
11:00 – 11:30: Valeria Vignudelli

Talk: Environmental Bisimulations for Probabilistic Higher-Order Languages
11:45 – 12:30: Thomas Ehrhard (CNRS-Université Paris 7)

Talk: On call-by-push-value and linear logic