Pole Proofs, programs and systems
Thematic team Programs and Languages (PL)
Manage talks
Monday at 10am, IRIF
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.
Jean Krivine
https://www.irif.fr/en/equipes/programmes/index