Machines à calculer : entre modèles abstraits et pratiques réelles du programme

Ce colloque se déroulant les 6 et 7 juin 2019, fait suite à la journée d'étude  "Calculer - une activité humaine ?" Il s'inscrit dans le cadre du projet HEPIC (Histoire Et Philosophie de l'Informatique et du Calcul), en partenariat avec la plateforme DATA de la MESHS.

Le colloque est consacré à l’axe “Machines”.

Quelques questions qui seront relevées pendant cette manifestation sont:

•  C’est quoi, une machine à calculer sans programme ? Plus général, est-ce qu’on peut penser un processus physique qui ne se laisse pas capturer par un “programme”?
• Quel est le rôle/la signification d’un non-déterminisme illimité (unbounded non-determinsm) pour la théorie de programmes informatiques. Est-ce qu’on peut penser une machine concrète et réalisable avec un non-déterminisme illimité?
• “Machine-independence”, est-ce que ça existe vraiment ?
• Comment sont les programmes déterminés par un “hardware” particulier ?
• Quel est le rôle des aspects physiques d’une machine (p.e. l’introduction d’une dimension temporelle) dans le developpement des programmes, leurs abstractions et leurs interactions ?
• Qu’est-ce que le rôle de modèles abstraits? Est-ce qu’ils résultent dans des notions différentes de programmes informatiques ?
• Quel est le rôle de l’humain en relation avec la machine à calculer? Est-ce qu’on doit prendre en compte l’humain dans la machine ? Est-ce qu’elle fait partie de la machine ?
• etc

Lieu : MESHS | Espace Baïetto | 2 rue des Canonniers, Lille

Pour vous inscrire, merci d’envoyer un courriel avec votre nom et affiliation à Liesbeth De Mol

Programme du colloque

6 juin, Espace Baïetto

9h30-10h30 Ray Turner, Computational abstraction
Répondant: Simone Martini

10h30-11h30 Cliff Jones, Abstractions of machines
Répondant: TBA

11h30-11h45: Pause

11h45-12h45: Edgar Daylight and Felice Cardone, Unbounded nondeterminism: an introduction for the philosopher of Computing
Répondant: Alberto Naibo

12h45-14h: Déjeuner

14h00-15h00: Mate Szabo, Licensing, designing and reverse engineering computers in Hungary from the 1950s to the 1970s
Répondant: Troy Astarte

15h00-16h00: Elisabetta Mori, “How to Avoid Them”: Validity and Correctness in LEO III.
Répondant: Franck Varenne

16h00-16.30h: Pause café

16h30-17h30:Maarten Bullynck, Computers as Boolean machines. Between operational clarity and physical reality
Répondant : Amirouche Moktefi

17h30-18h30: Giuseppe Longo, The confusion between the artificial and the natural
Répondant: Felice Cardone

7 Juin 2019, Espace Baïetto

10-11h: Gilles Dowek, How does the physical Church-Turing thesis changed the notion of “machine”?
Répondant: Maël Pégny
11-12h: Franck Varenne, About the persistence and varieties of ‘materiality arguments’ around the machine: from the programs verification’s debate to the debate about the computer simulations’ empiricity
Répondant: Nick Wiggershaus

12h-13h30: Lunch

13h30-14h30: Amirouche Moktefi, “Early logic machines and the problem of elimination“
Répondant: Marie-José Durand-Richard
14h30-15h30: Selmer Bringsjord, Must Machines be Mechanical? If So, Can They Be “Naked”
Répondant: Gilles Dowek

15h30-16h: Coffee break

16h00-17h00: Maël Pégny, Classifying Computing Instruments: An Historical and Philosophical Problem
Répondant: Maarten Bullynck
17h00-18h00: Pierre Mounier-Kuhn, The first French computers
Répondant: Elisabetta Mori