Efficient and reliable computing is based on validity and correctness. Techniques to ensure these essential features have been in place since the early days of computing. The present study focuses on the hardware testing, data validation and program correctness techniques designed and implemented for LEO I and II machines in the UK during the 1950s. Continue reading “Validity & Correctness Before the OS”
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”
Mary Lee Woods Berners-Lee (1924-2017) was a British mathematician and computer scientist. After graduating at the University of Birmingham, she got a fellowship at the Mount Stromlo Observatory in Canberra. Back from Australia, in 1951 she started working for Ferranti as a programmer, in the Ferranti Mark I and I* team at the University of Manchester.
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?”
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”