C’est avec plaisir que je vous annonce la prochaîne manifestation de PROGRAMme, organisée de 5 à 7 juin 2019 à la MESHS, 2 Rue des Canonniers, 59000 Lille, espace Baïetto et Salle 002.

Pour s’inscrire, merci d’envoyer un courriel avec votre nom et affiliation à liesbeth.demol@univ-lille3.fr avant 20 mai 2019. L’inscription est gratuite mais obligatoire (raisons logistiques)

Le 5 juin, nous organisons une séance du Lille-Paris séminaire HEPIC (Histoire et Philosophie de l’Informatique) autour de la question: Calculer — une activité humaine? Les orateurs sont: David Aubin, Stephen Kell et Christiane Floyd.

De 6 à 7 juin, le premier colloque de printemps de PROGRAMme sera organisé. Le colloque est le deuxième d’une série de quatre. Chaque journée se focalise sur un des quatre axes du projet: Logique, Machines, Langages et Notations, Systèmes. Pour plus d’infos sur les axes, voir ici. Le deuxième colloque est consacré à l’axe “Machines”. Quelques questions qui seront relevées pendant cette journée 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 ca 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

PROGRAMME

Séance HEPIC séminaire: Computing – a human activity? 

5 juin 2019, Salle 2

13h-14h15: David Aubin (Université de Paris 6), Astronomical tables as work, 16th-18th centuries
14h15-14h30: break
14h30-15h45: Stephen Kell (University of Kent), Software against humanity? An Illichian perspective on the industrial era of software
15h45-16h15: Coffee break
16h15-17h30: Christiane Floyd (Technical University of Vienna), The move to activity-centered views of software development

PROGRAMme Colloque de printemps Machines

6 Juin 2019, Espace Baïetto

9h30-10h30 Ray Turner, Computational abstraction
Répondant: Simone Martini
10h30-11h30 Cliff Jones, Abstractions of machines
Répondant: Ray Turner

11h30-11h45: short break

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

12h45-14h: Lunch

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: Coffee break

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