The list of Accepted Papers for the Third International Conference on the History and Philosophy of Computing (Pisa, 8-11 October 2015) is now available at
http://hapoc2015.sciencesconf.org/conference/hapoc2015/pages/accepted_1.html
The list of Accepted Papers for the Third International Conference on the History and Philosophy of Computing (Pisa, 8-11 October 2015) is now available at
http://hapoc2015.sciencesconf.org/conference/hapoc2015/pages/accepted_1.html
“Kalmar and Peter: Undecidability as a Consequence of Incompleteness”, Computability in Europe, vol. Beckmann, Mitrana, and Soskova (eds) – Evolving Computability, 11th Conference of CiE, Bucharest, 2015. Springer, pp. 343-352, 2015.
,“Haskell before Haskell: an alternative lesson in practical logics of the ENIAC”, Journal of Logic and Computation, vol. 25, pp. 1011-1046, 2015. http://dx.doi.org/10.1093/logcom/exs072
,“From mathematical logic to programming-language semantics: a discussion with Tony Hoare”, Journal of Logic and Computation, vol. 25, pp. 1091-1110, 2015. http://dx.doi.org/10.1093/logcom/exs071
,In the last few years, the Computability in Europe Conference Series has hosted a Special Session on the History and Philosophy of Computing, organised in concert with the HaPoC Commission. The next CiE Conference will take place at the University of Paris 7, France. Also in this occasion, the HaPoC Commission has been asked to organise a Special Session and two colleagues have accepted to be in charge of selecting the Speakers for this event. We are now very pleased to announce the Organisers for the HaPoC Special Session at Cie2016:
– Ksenia Tatarchenko, NYU Shangai
– Alberto Naibo, University Paris 1 Panthéon-Sorbonne
A workshop for graduate students and early career researchers to be held on Tuesday 8 December 2015, at the Mathematics Institute and St Anne’s College, Oxford.
https://adalovelaceworkshop.wordpress.com/call-for-papers/
“Realist Consequence, Epistemic Inference, Computational Correctness”, in The Road to Universal Logic, Birkenhauser, Springer, 2015.
,“Continuity in Semantic Theories of Programming”, History and Philosophy of Logic, pp. 1-20, 2015. http://dx.doi.org/10.1080/01445340.2015.1054576
,The HaPoC conference is the bi-annual conference organized by the DHST Commission for the History and Philosophy of Computing. Researchers who are members of the HaPoC commission (http://www.hapoc.org/membership) and intend to submit and participate to the Third HaPoC Conference can apply for a small grant (up to 400 EUR).
Preference will be given to participants who
(1) are unable to fund entirely their participation to the Conference through institutional or individual funding
(2) have the most fitting profile in the research area of HaPoC, as proven by current studies and previous research contributions
(3) have submitted to HaPoC-3 and have received the stronger evaluation at reviewing stage.
Applications should be sent before August 15 to:
Liesbeth De Mol
email:liesbeth.demol@univ-lille3.fr
Decisions will be communicated at the latest by September 1, 2015.
Applications should contain:
– a short CV
– an estimate of expenses and indication of what other financial resources might be available
– contact information for a reference person
Participation to the Conference is an essential condition for receipt of the grant.
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).
The abstracts of the invited talks are now available at hapoc2015.di.unipi.it/invited
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
Announcements of grants for participation will be made soon on hapoc.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 28, 2015 (EXTENDED, FIRM)
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)