Working group Pole Proofs, programs and systems Thematic team Algebra and computation Inria project-team Picube (Inria) Thematic team Proofs and programs Manage talks Semantics Day, hour and place Tuesday / Wednesday at 10:45am, 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) Guillaume Geoffroy Jeremy Ledent Paul-André Melliès