Talks

• Flavien Breuvart
  Talk TBA
  • Feb. 1, 2016, 4:30 p.m.
• Thomas Ehrhard (CNRS-Université Paris 7)
  Talk: On call-by-push-value and linear logic
  • Feb. 3, 2016, 11:45 a.m.
• Jean-Yves Girard (CNRS)
  Talk: Thirty years later
  • Feb. 1, 2016, 9 a.m.
• Charles Grellois
  Talk: Semantics of linear logic and higher-order model-checking
  • Feb. 2, 2016, 3 p.m.
• Godfroy Hubert
  Talk: Linear logic for staged computation
  • Feb. 3, 2016, 10 a.m.
• Delia Kesner (Université Paris 7)
  Talk: Completeness of Call-by-Need – A fresh view
  • Feb. 2, 2016, 11:15 a.m.
• Ugo Dal Lago (Università di Bologna)
  Talk: Infinitary Lambda Calculi from a Linear Perspective
  • Feb. 1, 2016, 10:15 a.m.
• Olivier Laurent (CNRS-ENS Lyon)
  Talk: Focusing in Orthologic
  • Feb. 3, 2016, 9 a.m.
• Damiano Mazza (CNRS-Université Paris 13)
  Talk: A Parsimonious Meeting of Church with Cook and Levin
  • Feb. 2, 2016, 2 p.m.
• Dale Miller
  Talk: On Subexponentials, Synthetic Connectives, and Multi-Level Delimited Control

  with Chuck Liang

  • Feb. 2, 2016, 9:30 a.m.
• Michele Pagani (Université Paris 7)
  Talk: Algebraic Abstract Rewriting Systems
  • Feb. 1, 2016, 11:15 a.m.
• Luca Paolini (Università di Torino)
  Talk: Recursion Theory and Reversible Computing
  • Feb. 1, 2016, 3:30 p.m.
• Marco Pedicini (Università Roma Tre)
  Talk: Abstract Machines, Optimal Reduction, and Streams
  • Feb. 1, 2016, noon
• Simona Ronchi Della Rocca (Università di Torino)
  Talk: Intersection types
  • Feb. 2, 2016, 10:15 a.m.
• Lorenzo Tortora de Falco (Università Roma Tre)
  Talk: Proof-NETS and (Intersection) Types
  • Feb. 2, 2016, noon
• Lionel Vaux (Université Aix-Marseille)
  Talk: Normalisation and Taylor expansion in a non uniform setting
  • Feb. 1, 2016, 2:30 p.m.
• Valeria Vignudelli
  Talk: Environmental Bisimulations for Probabilistic Higher-Order Languages
  • Feb. 3, 2016, 11 a.m.