Séance de 1 février

Lieu: MESHS, 2 Rue des Canonniers, 59000 Lille

Nous avons le plaisir de vous annoncer la prochaîne séance du séminaire « Histoire et Philosophie de l’Informatique”, mercredi 1 Février 2017 à 14h-17h, MESHS, Lille avec la participation de Simone Martini and Myriam Quatrini.

Simone Martini (INRIA/Department of Computer Science, University of Bologna), A Mathematical theory of computation?

An expression of John McCarty, a Mathematical Theory of Computation would be the common foundation of the new discipline of computing and programming languages. We will discuss some of the interactions between mathematical logic and researchers in computing and programming languages in the sixties, trying to identify the common goals for the establishment of these foundations. 

Myriam Quatrini (Institut des Mathématiques de Luminy, Université de la Méditerrannée ),  L’interaction, dans les preuves, les programmes, les dialogues.