Séminaire « Histoire et Philosophie de l’Informatique”

Séminaire « Histoire et Philosophie de l’Informatique”, mercredi 1 Février juin 2016 à 14h-17h, MESHS, Lille avec la participation de Simone Martini and Myriam Quatrini. Thème du séminaire : Logique et Programmation Intervenants : Simone Martini (INRIA/Department of Computer Science, University of Bologna), "A Mathematical theory of computation?" Résumé : 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.