Reflections on Identity and Copy of Programs

Abstract of the presentation at the roundtable `What is a (computer) program?’ at the prelaunch of the project PROGRAMme in Paris, at the CNAM – Conservatoire national des arts et métiers, on the 20th of October 2017.

The problem of identity is a long-standing one in philosophy. In turn, it is a crucial one for the Philosophy of Computer Science, and in particular for answering the question ‘what is a program?’. Two major strands in the history of such conceptual investigation can be found. Continue reading “Reflections on Identity and Copy of Programs”

CfP HaPoP4

Fourth Symposium on the History and Philosophy of Programming
https://www.shift-society.org/hapop4/

23 March 2018, Mathematical Institute, University of Oxford, UK
Colocated with BSHM Meeting on History of Computing, 22 March 2018
Organised by Commission for the History and Philosophy of Computing
www.hapoc.org

Submission of two-page extended abstracts (including footnotes, but excluding references) are invited. Accepted papers will be given a 30 minute presentation slot including discussion. We intend to publish selected papers in a special journal issue following the symposium.

  • Submission deadline: 1 January 2018
  • Author notification: 2 February 2018
  • HaPoP symposium: 23 March 2018

History and Philosophy of Computing Symposium at ICHST2017

Symposium 002. The Ubiquity of Computing: historical and philosophical issues

Monday, 24 July,

9:00-10:30 a.m- Session Chair: Alberto de Lima
9:00 – 9:30 Henrique Cukierman A racing car without tires
9:30 – 10:00 Lucas Pereira Between taxes and innovations: The Role of Federal Data Processing Service (SERPRO) in the growth of Brazilian computer Market (1964-1970)
10:00 – 10:30 Alberto de Lima Control, freedom, informatics and society: a review of informatics histories in Brazil Continue reading “History and Philosophy of Computing Symposium at ICHST2017”

2nd CLE Colloquium for Philosophy and History of Formal Sciences: “Logic and Computing”

2nd CLE Colloquium for Philosophy and History of Formal Sciences
“Logic and Computing”
CLE4Science-Colloquia — JULY 19-21, 2017
http://www.cle.unicamp.br/principal/content/2ndcle4science

At Centre for Logic, Epistemology and the History of Science (CLE-Unicamp)

Invited Speakers:

  • Christoph BENZMÜLLER (Freie Universität Berlin, Dep. of Mathematics and Computer Science)
  • Giuseppe PRIMIERO (Middlesex University, Computer Science)
  • Gianfranco BASTI (Pontifical Lateran University, Faculty
    of Philosophy).

Continue reading “2nd CLE Colloquium for Philosophy and History of Formal Sciences: “Logic and Computing””

CfP: Unix in Europe: between innovation, diffusion and heritage, October 19, CNAM, Paris

Call for contributions
International symposium
Unix in Europe: between innovation, diffusion and heritage
Conservatoire National des Arts et Métiers, Paris, France – October 19 2017
The Unix system was born in the 1970s at the crossroads between two interacting worlds: industry (the Bell Labs at AT&T) and academia (the University of Berkeley computer science network). Its fast adoption throughout computer research and engineering networks across the world signaled the future success of the new system, fostering software experiments within its open, multi-user and multi-tasking system running on mini-computers – and later compatible with a larger part of computer hardware. In the European context, how was this American innovation propagated, adopted and adapted? Continue reading “CfP: Unix in Europe: between innovation, diffusion and heritage, October 19, CNAM, Paris”

2nd CfA: Summer School on Computer Simulation Methods

Summer School: On Computer Simulation Methods

September 25-29, 2017, High Performance Computing Center Stuttgart (HLRS)

Organizers: Michael Resch, Viola Schiaffonati, Giuseppe Primiero, Andreas Kaminski

Website: https://regi.hlrs.de/2017/summer-school/index.jsp Continue reading “2nd CfA: Summer School on Computer Simulation Methods”

3rd CfP HaPoC4 (with details on publication plans)

Third Call for Papers
4th International Conference on History and Philosophy of Computing
https://hapoc2017.sciencesconf.org/
Masaryk University Brno
4-7 October 2017

held under the auspices of the
DHST/DLMPS Commission for the History and Philosophy of Computing (HaPoC)
www.hapoc.org

In their societal impact, computers have grown way beyond their roots in mathematics and logic. Their ubiquity since the late 20th century has increased the number and impact of several of the original questions raised by early computer scientists and practitioners: questions about their expected and intended behaviour, as Alan Turing did when asking whether machines can think; questions about their ontology, as John von Neumann did when asking what the computer and the human brain have in common; questions about their role in performing human tasks, as Norbert Wiener did when asking whether automatic translation is possible. With new technologies, the need for rethinking formal and technological issues is crucial. Continue reading “3rd CfP HaPoC4 (with details on publication plans)”