à voir également
Carnet de recherche sur l'axe Machines (anglais)Carnet de recherche sur l'axe Machines (français)
Contact
liesbeth.demol[at]univ-lille3[POINT]fr (French)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
URI/Permalink: