Working groups 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