Hammering towards QED
Speaker:
Jasmin Christian Blanchette, Inria Nancy - Grand Est
Date and Time:
Friday, February 5, 2016 - 9:45am to 10:30am
Location:
Fields Institute, Room 230
Contacting the Institute, Staff, and Visiting Members of the Fields Institute.
Stay up to date with our upcoming events and news by viewing our calendar.