Chair: Claudio Sacerdoti Coen

• 14:00: Supernominal Datatypes and Codatatypes. Andrei Popescu.
• 15:00: Jacob Errington, Junyoung Jang, Brigitte Pientka. Mechanizing Metatheory Interactively.