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