Working group Pole Proofs, programs and systems Thematic team Algebra and computation Thematic team Proofs and programs Manage talks Type theory and homotopy theory Day, hour and place Friday at 3:30pm, room 3052 The calendar of events (iCal format). In order to add the event calendar to your favorite agenda, subscribe to the calendar by using this link. Contact(s) Sylvain Douteau