Seminar Pole Proofs, programs and systems Inria project-team $\pi r^2$ (Inria) Thematic team Algebra and computation Thematic team Proofs and programs Manage talks Proofs, programs and systems Day, hour and place Thursday at 10:30am, 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) Nicolas Behr Adrien Guatto To receive talk announcements for the PPS seminar, please send an email to sympa@listes.irif.fr with “subscribe seminaire-pps YourFirstname YourLastname” as a title and an empty body.