HaPoP 2022

Fifth Symposium on the History and Philosophy of Programming

13 June 2022, Lille, France

Maison Européenne des Sciences de l'Homme et de la Société

Co-located with the final conference of the ANR-funded PROGRAMme project.

In a society where computers have become ubiquitous, it is necessary to develop a deeper understanding of the nature of computer programs, not just from the technical viewpoint, but from a broader historical and philosophical perspective. A historical awareness of the evolution of programming not only helps to clarify the complex structure of computing, but it also provides an insight in what programming was, is and could be in the future. Philosophy, on the other hand, helps to tackle fundamental questions about the nature of programs, programming languages and programming as a discipline.

This edition of the symposium will be co-located with the final conference of the ANR-funded PROGRAMme project which poses the basic question “What is a computer program?” This seemingly simple question has no simple answer today, but the responses one gives to it affect very real problems: who is responsible if a given piece of software fails; whether a program is correct or not; or whether copyright or patent law applies to programs. The project is anchored in the conviction that a new kind of foundational research is needed. The broad range of scientific and societal problems related to computing cannot be addressed by any single discipline.

The question “What is a program?” is a call for deeper critical thinking about the nature of programs that is both foundational, in the sense that it goes beyond specific problems, but also accessible, in the sense that it should be open to anyone who is willing to make an effort in understanding this basic technique from a broader horizon.

Symposium programme

You can find all abstracts in the HaPoP 2022 - Book of Abstracts.

9:50 - 10:00: Introduction and welcome

10:00 - 11:20: Session 1

Session Chair: Liesbeth De Mol

  • Warren Sack - Miniatures, Demos and Artworks: Three Kinds of Computer Program, Their Uses and Abuses
  • Shoshana Simons - Programming practice as a microcosmos of human labor and knowledge relations

11:10 - 11:40: Coffee break

11:40 - 12:50: Session 2

Session Chair: Tomas Petricek

  • Lucas Bang - Program Size: A Call for Inquiry
  • Andre Dickson - The disturbance of death and debt

12:50 - 14:30: Lunch

14:30 - 15:40: Session 3

Session Chair: Mark Priestley

  • Daniel Kuby - Towards a linguistic conception of programming
  • Nicolas Nalpon and Alice Martin - Why semantics are not only about expressiveness - The reactive programming case

15:40 - 16:10: Coffee break

16:10 - 17:20: Session 4

Session Chair: Martin Carlé

  • Fabien Ferri - Diagrammatic writing as writing the non-programmable: a case study from the DRAKON graphical modeling language (cancelled)
  • Robin Hill - Hello World? An Interrogation

20:00 - 22:00: Dinner in Brasserie de la Paix

Registration & practical inforamtion

Special journal issue

Following the symposium, we will organize a special issue of the open access Computational Culture journal. Authors will be invited to submit full papers based on their presentation to be peer reviewed and considered for publication in the special issue.