School’s Programme

The school’s programme is also available for download here [PDF]

Tuesday Wednesday Thursday Friday Saturday
08:30 Bridges between Algebra & Logic
George Metcalfe
Bridges between Algebra & Logic
George Metcalfe
Bridges between Algebra & Logic
George Metcalfe
Bridges between Algebra & Logic
George Metcalfe
Topos Theory
André Joyal
09:00
09:30
10:00 Coffee Break
10:30 Category Theory
Maria Manuel Clementino
Duality theory
Yde Venema
Topos Theory
André Joyal
Topos Theory
André Joyal
Bridges between Algebra & Logic
George Metcalfe
11:00
11:30 Duality Theory
Yde Venema
Duality theory
Yde Venema
12:00 Lunch break Lunch break
12:30 Lunch break Lunch break
13:00
13:30
14:00 Duality theory
Yde Venema
Category Theory
Maria Manuel Clementino
Category Theory
Maria Manuel Clementino
14:30 Topos Theory
André Joyal
15:00
15:30 Coffee Break
16:00 Category Theory
Maria Manuel Clementino
Coffee Break Coffee Break
16:30 Duality Theory
Yde Venema
Duality Theory
Yde Venema
17:00
17:30 Poster session
18:00

Poster session participants

  • Le Thanh Dung Nguyen slides
  • Guillaume Geoffroy slides
  • Federico Olimpieri slides
  • José Vitor Paiva Miranda de Siqueira