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