Invited talks

Decomposing Modalities

Frank Pfenning Carnegie Mellon University

A Linear Logic Framework with Subexponentials

Vivek Nigam Federal University of Paraíba

A Coq plugin for computing logical relations of parametricity

Marc Lasson Inria