Previous talks Thursday 2pm room 1007

Graphs and Logic Wednesday 1:30pm room 3052

Higher categories, polygraphs and homotopy Friday 2pm room 1007

IRIF and environment group

Logic, automata, algebra and games Wednesday 2pm room 4033

Semantics Tuesday 3:00pm room 3071

Syntax Meets Semantics Thursday 2pm room 1007

Topos Theory Wednesday 2pm room 3052

Type theory and homotopy theory Friday 3:30pm room 3052

Type theory and realisability Wednesday 2pm room 1007