“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
,Organisers for HaPoC Special Session at CiE 2016
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
CfP: Texts and contexts: the cultural legacies of Ada Lovelace
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
“Realist Consequence, Epistemic Inference, Computational Correctness”, in The Road to Universal Logic, Birkenhauser, Springer, 2015.
,Continuity in Semantic Theories of Programming
“Continuity in Semantic Theories of Programming”, History and Philosophy of Logic, pp. 1-20, 2015. http://dx.doi.org/10.1080/01445340.2015.1054576
,Call for applications HaPoC-3 Grants
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.
HaPoC3: Final CfP, Deadline Extension and Abstracts of Invited Talks
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)
Computing As Model-based Empirical Science
“Computing As Model-based Empirical Science”, in Proceedings of the 2Nd ACM SIGSIM/PADS Conference on Principles of Advanced Discrete Simulation, New York, NY, USA, 2014. http://dx.doi.org/10.1145/2601381.2601391
,CiE 2015, Bucharest Romania – extended submission deadline for informal presentations
————————————————————————
COMPUTABILITY IN EUROPE 2015: Evolving Computability
Bucharest, Romania
June 29 – July 3
http://fmi.unibuc.ro/CiE2015/
————————————————————————
EXTENDED SUBMISSION DEADLINE
FOR INFORMAL PRESENTATIONS: MAY 3, 2015
————————————————————————
CALL FOR INFORMAL PRESENTATIONS
There is a remarkable difference in conference style between computer
science and mathematics conferences. Mathematics conferences allow
for informal presentations that are prepared very shortly before the
conference and inform the participants about current research and work
in progress. The format of computer science conferences with
pre-conference proceedings is not able to accommodate this form of
scientific communication.
Continuing the tradition of past CiE conferences, also this year’s
CiE conference endeavours to get the best of both worlds. In addition
to the formal presentations based on our LNCS proceedings volume, we
invite researchers to present informal presentations. The length of
these presentations has previously been 25 minutes and we intend to
follow this tradition. For this, please send us a brief description
of your talk (between one paragraph and one page) by:
MAY 3, 2015
Please submit your abstract electronically, via EasyChair
<https://easychair.org/conferences/?conf=cie2015>,
selecting the category “Informal Presentation”.
You will be notified whether your talk has been accepted for informal
presentation usually within a week or two after your submission.
HaPoC request to become a DLMPS/DHTS Inter-Division Comission
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).