Working groups Analysis and conception of systems Thursday 2pm room 1007 Higher categories, polygraphs and homotopy Friday 2pm room 1007 IRIF and environment group Logic, automata, algebra and games Wednesday 2pm room 4033 Semantics Tuesday / Wednesday 10:45am room 3052 Syntax Meets Semantics Thursday 2pm room 1007 Type theory and homotopy theory Friday 3:30pm room 3052 Type theory and realisability Wednesday 2pm room 1007