Anuj Dawar (Cambridge University) answers the old question: ‘Is Computer Science a Science?’
http://education.cambridge.org/uk/whats-new/thought-leadership/2015/7/is-computer-science-a-science
HaPoC3 List of Accepted Papers
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
, “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
, “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
, “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.