Chair: Ugo Dal Lago

• 14:00: Kaustuv Chaudhuri. “Interactive Proof Building with Direct Manipulation for Linear Logic (and Cousins)”.
• 15:00: James Wood, Robert Atkey. “A Linear Algebra Approach to Linear Metatheory”.