Working group Pole Proofs, programs and systems Thematic team Proofs and programs Manage talks Type theory and realisability Day, hour and place Wednesday at 2pm, room 1007 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) Hugo Herbelin Paul-André Melliès