CfP: HaPoC 2019 in Bergamo

Call for Papers:
HaPoC 2019, 5th International Conference on the History and Philosophy of Computing
October 28-30, 2019
Bergamo, Italy

https://hapoc2019.sciencesconf.org

Today more than ever computers have taken center stage in our lives: science, economy, politics, art, there is no single human endeavour that has been left unaffected by Information Technologies. Whether this impact is positive or negative, is still very much up for debate. Continue reading “CfP: HaPoC 2019 in Bergamo”

CfP: HISTELCON 2019 in Glasgow

HISTELCON (HISTory of ELectrotechnology CONference) is a flagship biennial-conference of the IEEE Region 8 and this is the 6th event to take place. HISTELCON 2019 will be in the IEEE UK and Ireland Section, in Glasgow, Scotland.

The proposed primary theme is ‘historic computers’ with an aim to include papers on those inventions and developments which have not already been the subject of extensive historical publications, and to include the contribution special purpose processors have made to the development and use of advanced digital signal processing methods in many applications areas. Sessions to cover other aspects of technology history in the electrical, electronic and related fields will also be provided for. Continue reading “CfP: HISTELCON 2019 in Glasgow”

CfP: History of Formal Methods 2019

Call for papers: History of Formal Methods 2019 Workshop, 11th October 2019, Porto, Portugal (co-located with Formal Methods 2019)

This is a workshop on the history of formal methods in computing. The aim is to bring together historians of computing, technology, and science with practitioners in the field of formal methods to reflect on the discipline’s history. There will be a round of abstract submission prior to the workshop which will determine who is invited to give a presentation at the workshop. Afterwards, presenters may submit papers based on their presentations for inclusion in the workshop’s proceedings. Continue reading “CfP: History of Formal Methods 2019”

Business computing seminar in Lille

Olivetti Elea 9003. Detail. Photo: Elisabetta Mori

Pierre Mounier-Kuhn
(CNRS, Université Paris-Sorbonne & Centre Alexandre Koyré)
De la mécanographie à l’Informatique de gestion

Elisabetta Mori (Middlesex University, London)
From Academia to Business: LEO computers and Olivetti.
Two case studies in the early European Computer Industry

Histoire et Philosophie de l’informatique et du calcul
MESHS, 2 Rue des Canonniers, 59000 Lille
Info: https://calcul.hypotheses.org/435

Elisabetta Mori
From Academia to Business: LEO computers and Olivetti.
Two case studies in the early European Computer Industry

A common pattern in the growth and development of early Western European computer manufacturers is the collaboration between academia and entrepreneurship. Very often early European computer companies established a joint venture with an academic environment – a university or a research institute. Continue reading “Business computing seminar in Lille”

Validity and Correctness in LEO I & 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 & 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”