Categorical Logic Days in Padova

Keynote Speakers

• Giuseppe Rosolini (Università di Genova)
• Martin Hyland (University of Cambridge)

Invited Speakers

• Davide Trotta (Università di Padova)
• Fabio Pasquali (Università di Milano)
• Jacopo Emmenegger (Università di Genova)
• Samuele Maschio (Università di Padova)
• Peter Lumsdaine (Stockholm University)

Programme

• Wednesday, June 4
  17:30–18:30 — Pino Rosolini — Opening lecture
  An overview of hyperdoctrines and some completions
  19:45 — Welcome dinner: Osteria l'Anfora ,Via dei Soncin, 13
• Thursday, June 5
  14:30–15:30 — Davide Trotta
  Sheaves, Presheaves and Sheafification in the abstract
  15:30–15:45 — Break
  15:45–17:30 — Discussion on open problems
• Friday, June 6
  14:30–15:30 — Jacopo Emmenegger
  Categorical structures for comprehension and context extension
  15:30–15:45 — Break
  15:45–16:45 — Samuele Maschio
  A topos for extended Weihrauch degrees
  16:45–17:00 — Break
  17:00–18:00 — Peter Lumsdaine
  TBA
  19:45 — Social dinner: Bacaro Padovano , Via San Gregorio Barbarigo, 3
Monday, June 9
15:00–16:00 — Fabio Pasquali
Relational quotient completion
16:00–16:15 — Break
16:15–18:00 — Discussion on open problems
• Tuesday, June 10
  15:00–16:00 — Martin Hyland — Closing lecture
  A lesson from Tripos Theory