Colloque de printemps de PROGRAMme : "Machines"

Colloque
09:30 - 17:00
MESHS - 2 Rue des Canonniers - Lille - Espace Baïetto et Salle 002
  •  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 Colloque de printemps Machines

June 6, Espace Baïetto

9h30-10h30 : Ray Turner, Computational abstraction
Respondant: Simone Martini
10h30-11h30 : Cliff Jones, Abstractions of machines
Respondant : TBA

11h30-11h45 : short break

11h45-12h45 : Edgar Daylight and Felice Cardone, Unbounded nondeterminism: an introduction for the philosopher of Computing
Respondant: TBA

12h45-14h : Lunch

14h00-15h00 : Mate Szabo, Licensing, designing and reverse engineering computers in Hungary from the 1950s to the 1970s
Respondant : Troy Astarte
15h00-16h00 : Elisabetta Mori, “How to Avoid Them”: Validity and Correctness in LEO III.
Respondant : Franck Varenne

16h00-16.30h : Coffee break

16h30-17h30 : Maarten Bullynck, Computers as Boolean machines. Between operational clarity and physical reality
Respondant : Amirouche Moktefi
17h30-18h30 : Giuseppe Longo, The confusion between the artificial and the natural
Respondent : Felice Cardone

June 7:

10-11h : Gilles Dowek, How does the physical Church-Turing thesis changed the notion of “machine”?
Respondant : TBA
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
Respondant : Nick Wiggershaus

12h-13h30 : Lunch

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


15h30-16h
: Coffee break

16h00-17h00 : Pierre Mounier-Kuhn, “The first French computers”
Respondant : Elisabetta Mori


programme.hypotheses.org/colloque-de-printemps-i-machines


Tweeter Partager sur Facebook Google +