Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own

View analytic
Friday, August 7 • 11:00 - 13:30
Session of HaPoC (History and Philosophy of Computing) I

Sign up or log in to save this to your schedule and see who's attending!

7 August 11:00 AM – 01:30 PM

Organizers
Liesbeth De Mol (CNRS, UMR 8163 STL, UNiversité de Lille 3, France)
Giuseppe Primiero (Middlesex University, UK)

SPEAKERS AND TITLES

Session 1:


Putting Mathematics into the Computer: Implementation and Epistemology in Early Automated Logic
Stephanie Dick, Harvard University

Defining the semantics of proof evidence
Dale Miller, Inria/Saclay and Lix

Formalism and Computations
Peter Koepke, University of Bonn




Friday August 7, 2015 11:00 - 13:30
Main Building, Auditorium IV

Attendees (10)