Timetable
9:00
9:30
10:00
10:30
11:00
11:30
12:00
12:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
-
Monday 1
- Girard, Thirty years later
- Lago, Infinitary Lambda Calculi from a Linear Perspective
- Pagani, Algebraic Abstract Rewriting Systems
- Pedicini, Abstract Machines, Optimal Reduction, and Streams
- Vaux, Normalisation and Taylor expansion in a non uniform setting
- Paolini, Recursion Theory and Reversible Computing
- Breuvart
-
Tuesday 2
- Miller, On Subexponentials, Synthetic Connectives, and Multi-Level Delimited Control
- Rocca, Intersection types
- Kesner, Completeness of Call-by-Need – A fresh view
- Tortora de Falco, Proof-NETS and (Intersection) Types
- Mazza, A Parsimonious Meeting of Church with Cook and Levin
- Grellois, Semantics of linear logic and higher-order model-checking
- Meeting
-
Wednesday 3
- Laurent, Focusing in Orthologic
- Hubert, Linear logic for staged computation
- Vignudelli, Environmental Bisimulations for Probabilistic Higher-Order Languages
- Ehrhard, On call-by-push-value and linear logic