The program consists of 80-minute lectures.
Nada Amin
— Harvard University
Metaprogramming
Limin Jia
— Carnegie Mellon University
Information Flow Type Systems
Delia Kesner
— Université de Paris
Lambdi Calculi through the Lens of Linear Logic
Brigitte Pientka
— McGill University
Introduction to Logical Foundations
(aka the beauty of the Curry-Howard Isomorphism at play)
Emina Torlak
— Amazon Web Services
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorization
Niki Vazou
— IMDEA Software Institute
Refinements Types
Ningning Xie
— University of Toronto
Algebraic Effects and Handlers