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 Proofs, programs and all that Thursday 2pm room 1007 Semantics Tuesday 10:30am room 3052 Syntax Meets Semantics Thursday 2pm room 1007 Type theory and realisability Wednesday 2pm room 1007