Validity and Correctness in LEO I and II

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 presentation is an historical reconstruction of the procedures to ensure validity and program correctness in the early examples of business computers: the focus of the talk is the hardware testing, data validation and program correctness techniques designed for LEO I and II in the UK during the 1950s. Continue reading “Validity and Correctness in LEO I and II”

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”

Coping with the “American giants”

Abstract of the paper presented at the 4th HaPoC – History and Philosophy of Computing conference in Brno, 3-7 October 2017.

Coping with the “American giants”: mergers, relationships and attempted partnerships in the European computer industry in the early Sixties

During the 1950s, a fragmented computer industry grew up in Europe. After the enthusiasm and pioneering in a brand new business like computers, at the beginning of the 1960s these companies were weakened by several issues, such as the financial crisis and the pressure of  US competitors like IBM and General Electric. The investments in R&D  were not fully refunded by the income from machines sales after several years. The growth of a computer company, in fact, was often doomed by these costs and very often also by lack of proper marketing experience in a totally brand new field. Continue reading “Coping with the “American giants””

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)”