Modèles entre structures et sémantiques des programmes

Journée d'étude du projet Histoire et Philosophie de l'Informatique et du Calcul (HEPIC)

en partenariat avec la plateforme DATA de la MESHS

Programme :

• 09.00-11.00: Introduction du projet et de ses membres d’équipe
• 11.30-12.15: Mark Priestley, “Program structure and its graphical representation c. 1946”
• 12.15-13.00: Giuseppe Primiero, “Identity criteria for programs”
• 14.00-14.45: Edgar Daylight, “Towards a History of Model-Modellee Conflations in Computer Science”
• 14.45-15.30: Pierre Mounier-Kuhn, “Les notions de ‘programmes” dans la machine de Couffignal”/The notion of `programs’ in the Couffignal machine”
• 16.00-16.45: Ray Turner, “The Ways of Computational Abstraction”
• 16.45-17.30: Maël Pégny, “Are machine learning algorithms programs?”
• 17.30-18.15: Tomas Petricek, “The Inner Life of Programming Concepts”