News

The HaPoC DHST Commission has filed a request to the Division of Logic, Methodology and Philosophy of Science to be elected as DLMPS/DHST Inter-Division Commission. The request will be presented by HaPoC representatives at the DLMPS General Assembly to be held during the 15th Congress on Logic, Methodology, and Philosophy of Science in Helsinki on 6 August 2015 (http://clmps2015.sched.org/type/dlmps+general+assembly#.VS6Bz3VGjUY).

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

Call For Papers
HaPoC 3: Third International Conference for the History and Philosophy of Computing
8 — 11 October, 2015, Pisa
hapoc2015.di.unipi.it

The DHST commission for the history and philosophy of computing (www.hapoc.org) is happy to announce the third HAPOC conference. The series aims at creating an interdisciplinary focus on computing, stimulating a dialogue between the historical and philosophical viewpoints. To this end, the conference hopes to bring together researchers interested in the historical developments of computing, as well as those reflecting on the sociological and philosophical issues springing from the rise and ubiquity of computing machines in the contemporary landscape. In the past editions, the conference has successfully presented a variety of voices, contributing to the creation of a fruitful dialogue between researchers with different backgrounds and sensibilities.

For HaPoC 2015 we welcome contributions from historians and philosophers of computing as well as from philosophically aware computer scientists and mathematicians. Topics include but are not limited to
• History and Philosophy of Computation (interpretation of the Church-Turing thesis; models of computation; logical/mathematical foundations of computer science; information theory…)
• History and Philosophy of Programming (classes of programming languages; philosophical status of programming…)
• History and Philosophy of the Computer (from calculating machines to the future of the computer; user interfaces; abstract architectures…)
• History and Epistemology of the use of Computing in the sciences (simulation vs. modelisation; computer-assisted proofs; linguistics…)
• Computing and the Arts: historical and conceptual issues (temporality in digital art; narration in interactive art work…)
• Social, ethical and pedagogical aspects of Computing (pedagogy of computer science; algorithms and copyright; Internet, culture, society…)

Our invited speakers are Nicola Angius (Università di Sassari, IT), Lenore Blum (Carnagie Mellon University, USA), David Allan Grier (IEEE & George Washington University, USA), Furio Honsell (Università di Udine, IT), Pierre Mounier-Kuhn (CNRS & Université Paris-Sorbonne, F), and Franck Varenne (Université de Rouen, F).

We cordially invite researchers working in a field relevant to the topics of the conference to submit a short abstract of approximately 200 words and an extended abstract of at most a 1000 words (references included) to www.easychair.org/conferences/?conf=hapoc2015

Abstracts must be written in English and anonymised. Please note that the format of uploaded files must be either .pdf or .doc. In order to access the submission page, an EasyChair account will be required. Please notice that what is called “abstract” in the EasyChair “Title, Abstract and Other Information” section corresponds to the short abstract of this call, and what is called “paper” in the EasyChair “Upload Paper” section corresponds to the extended abstract of this call.

Please check out the website of HaPoC 2015 for more information on the conference at http://hapoc2015.sciencesconf.org

A post-proceedings volume is going to appear in the IFIP Advances in Information and Communication Technology series, published by Springer.

IMPORTANT DATES:
Submission deadline: June 19, 2015
Notification of acceptance: July 19, 2015

The 2015 conference is located in Pisa, the cradle of Italian computer science: here the first Italian computers were designed in the mid-Fifties and the first Master course in informatics was established in 1969. The Museum of Computing Machinery, part of the University of Pisa, shows some artefacts from the early days of Italian CS, as well a selection of personal computing machines. Besides its artistic attractions, among them the world-famous leaning tower, during the days of the conference Pisa will host the Internet Festival, devoted to all the aspects of the net (www.internetfestival.it)