Chair: Alwen Tiu

• 14:00: Elaine Pimentel. A fresh view of linear logic as a logical framework.
• 15:00: Roberto Blanco, Dale Miller, Alberto Momigliano. On the Proof Theory of Property-Based Testing of Coinductive Specifications, or: PBT to Infinity and beyond.