Seminar

Pole Proofs, programs and systems

Inria project-team $\pi r^2$ (Inria)
Thematic team Algebra and computation
Thematic team Proofs and programs

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)

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.