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
———————