Seminars and Colloquia

Computer Science Seminar

Feb 9

Computer Science Seminar

04:00 pm

Pierre Halmagrand, CEDRIC (Centre d'tude et de Recherche en Informatique et Communications, CNAM) "Automated Deduction and Proof Certification for the B Method Set Theory"