CLMPS 2015 has ended
Back To Schedule
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, view media, leave feedback and see who's attending!

7 August 11:00 AM – 01:30 PM

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


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 EEST
Main Building, Auditorium IV

Attendees (0)