Session of HaPoC (History and Philosophy of Computing) I

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

Chairs