There is a growing number of people interested in History and Philosophy of Programming in and around London. The plan for the meeting is to get together, talk briefly about our ongoing research and research interests, exchange ideas and retreat to a nearby pub for an informal chat.

We plan to make an exact plan for the meeting depending on the number of people interested in joining us. However, if you are working on reserch related to history and philosophy of programming or computing, we would like to give you some space to do a brief presentation or talk about your work. The idea is to learn about what others in and around London are doing, start new conversations and see if there is enough people for a community around history and philosophy of programming!

Meeting agenda

1:00pm-2:00pm (15 minutes for each item)

Brief welcome and introductions (what are our backgrounds and where we are based)
Talk: Mark Priestley (Programming in the 1940s)
Talk: Elisabetta Mori (Validation and Correctness in LEO I and II.)
Talk: Antranig Basman (Seeking the Material of Software)

2:30pm-3:00pm (30 minutes or a bit more)
Short talks – anyone attending is welcome to talk about their work for a couple of minutes, followed by discussion and Q&A sessionss.

3:15pm-4:00pm (15 minutes for each item)

Talk: Troy Astarte (Towards Interconnected History of Semantics)
Talk: Giuseppe Primiero (Improving the Methodology of Malware Classification)
Talk: Luke Church (TBA, something on Human Computer Interaction?)

4:00pm-5:00pm (more coffee and chat!)

Discuss: Plans for next meetings, best formats for events, developing community
Discuss: Relationships between history and philosophy
Discuss: How programming languages got the way they are?

History and Philosophy of Programming meeting