It is a pleasure to announce the start of the ANR project What is a (computer) program? with a two days event to be held on February 7-8 at MESH, rooms 1 and 2, Espace Baïetto, 2 Rue des Canonniers, Lille.
On February 7th, there will be a session of the Lille-Paris séminaire History and Philosophy of Computer Science and Computing (HEPIC) with participation of Cliff Jones and Samuel Goyet (see here for more details).
On February 8th, there will be the workshop Models between structures and meanings of programs which introduces the project followed by several talks from members of the project. Continue reading “Launch of ANR project: What is a program?”
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”
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”
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””
Fourth Symposium on the History and Philosophy of Programming
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
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
The program for the Summer School on Computer Simulation Methods to be held at the High Performance Computing Center of Stuttgart (HLRS) and co-sponsored by the Commission on the History and Philosophy of Computing is now online at
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”
CLE4Science-Colloquia — JULY 19-21, 2017
At Centre for Logic, Epistemology and the History of Science (CLE-Unicamp)
- 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
Continue reading “2nd CLE Colloquium for Philosophy and History of Formal Sciences: “Logic and Computing””
Call for contributions
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”