HaPoC Special Session at CLMPS15

The 15th Congress on Logic, Methodology, and Philosophy of Science (CLMPS), one of the most important activities of the DLMPS (the Division of Logic, Methodology and Philosophy of Science), will be held in Helsinki from 3 to 8 of August 2015. The HaPoC Commission will be present at CLMPS with a Special Session on 7th of August, with the following programme (http://clmps2015.sched.org/?s=HaPoC):

---------------
7 August

11:00 AM – 01:30 PM
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

02:30 – 04:30 PM
Session 2:


The Church-Turing Theses
Oron Shagrir, University of Jerusalem

Extending ourselves: how software changes inquiry.
John Symons, University of Kansas

Competing Claims to Computing as a Discipline
Matti Tedre, Stockholm University

05:00 PM – 07:00 PM
Session 3:

Using History to Make Software More Tangible
Edgar Daylight, Universiteit Utrecht

How do we know that a statement true in Computer Science?
Gilles Dowek, Inria/Deducteam and Mooc Lab

Discussion
---------------------