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