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