Event is FINISHED

Pierre Halmagrand - "Automated Deduction and Proof Certification for the B Method Set Theory"

Description

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"

Event Timeline
Tue Feb 9, 2016
4:00 PM - 5:30 PM EST
Add to Calendar
Venue
Exley Science Center Tower ESC 638
Tickets
RSVP
Venue Address
45 Wyllys Avenue, Middletown, CT United States
Organizer
Wesleyan Mathematics & Computer Science Department
2 Followers