Pole Proofs, programs and systems
Thematic team Analysis and conception of systems
Manage talks
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.
https://www-apr.lip6.fr/~chaillou/Public/programmation