Colloque de printemps de PROGRAMme : "Machines"

Colloque
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

Partager sur X Partager sur Facebook