Computer Science Seminar

Tuesday, February 9, 2016
4:00 PM - 5:30 PM (ET)
Exley Science Center Tower ESC 638
Event Type
Seminar/Colloquium
Contact
Licata, Dan
2250
Link
https://eaglet.wesleyan.edu/MasterCalendar/EventDetails.aspx?EventDetailId=67663

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"


Get Directions
Event Date
Event Time
Title
Building