Working group Pole Proofs, programs and systems Inria project-team $\pi r^2$ (Inria) Thematic team Analysis and conception of systems Manage talks Analysis and conception of systems Day, hour and place Thursday 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) Jean Krivine