External working group Pole Proofs, programs and systems Thematic team Analysis and conception of systems Manage talks Programming Day, hour and place Thursday (one out of two) at 2pm, IRILL (Jussieu) 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) Nothing. https://www-apr.lip6.fr/~chaillou/Public/programmation