Working group

Pole Proofs, programs and systems

Thematic team Algebra and computation
Thematic team Proofs and programs

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)