The launch of the PROGRAMme project was an intense first meeting with some great discussions on a variety of topics. The slides of the talks on wednesday February 7 and thursday February 8 are now available here:
February 7, session of the HEPIC séminaire :
Cliff Jones, A brief history of formal methods
Samuel Goyet, Of Bits and Blocks : a historic and semiotic approach of web Application Programming Interface (APIs)
February 8, Workshop Models between structures and meanings of programs:
(Note that two talks were canceled due to circumstances)
Liesbeth De Mol, Introduction to the project and its members
Mark Priestley, Program structure and its graphical representation c. 1946
Tomas Petricek, The Inner Life of Programming Concepts. Also available here.
Edgar Daylight, Towards a History of Model-Modellee Conflations in Computer Science
Maël Pégny, Are machine learning algorithms programs?
Ray Turner, The Ways of Computational Abstraction