• 11:30: Benjamin Dupont, Philippe Malbos, Cyrille Chenavier. Algebraic critical pair lemma.
  • 12:00: Ugo De'Liguoro, Riccardo Treglia. On the reduction of the type-free computational Lambda-calculus.
  • 12:30: Anders Miltner, Kathleen Fisher, Benjamin Pierce, David Walker, Steve Zdancewic. Confluence in Lens Synthesis.