Table ronde “Qu’est-ce qu’un programme informatique?”

C’est avec plaisir que je vous annonce la table ronde “Qu’est-ce qu’un programme informatique?” organisé le 20 Octobre, 2017, CNAM, 11h-17h, Amphi C Abbé Grégoire, Paris. C’est l’évenement de prélancement du projet ANR JCJC “Qu’est-ce qu’un programme? Perspectives historiques et philosophiques” (PROGRAMme, coordonné par Liesbeth De Mol) et associé au colloque “Unix en France et aux Etats-Unis:  innovation, diffusion et appropriation“, 19 Octobre, CNAM, Paris.

Inscription Pour s’inscrire, merci d’envoyer un courriel avec votre nom et affiliation à liesbeth.demol@univ-lille3.fr. L’inscription est gratuite mais obligatoire.

Déscriptif Qu’est-ce qu’un programme informatique? À cette simple question, centrale en informatique, il n’existe pas une réponse unique, ni dans l’industrie, ni dans la recherche scientifique. Néanmoins, les réponses qu’on formule affectent des problèmes très réels comme p.e. le problème de la responsabilité s’il y a une défaillance de logiciel. On trouve plutôt une diversité d’interprétations du terme “programme”, implicites ou explicites, dans les pratiques pertinentes qui sont déterminées à partir des formulations, méthodes et solutions des problèmes particuliers dans ces mêmes pratiques (et vice versa). L’ambition de PROGRAMme est de développer une analyse cohérente et une conception pluraliste du terme “programme”, en combinant des études historiques avec des analyses philosophiques. Cette double méthode permet de retracer les significations du terme au long de son histoire. Elle permet aussi d’identifier et d’élucider ses différents sens dans et les pratiques qui le sous-tendent. Les éléments fondamentaux de ce terme pourront ainsi être reconstruits, avec l’ambition d’en libérer, et non d’en restreindre ses significations. Le projet a donc besoin de compétences historiques, philosophiques et informatiques et cette interdisciplinarité en est un défi considérable. L’objectif de cette table ronde est de présenter quelques méthodes, idées et problèmes importants liés au terme “programme” à partir de perspectives diverses (historique, philosophique, informatique) et dans des contextes divers et connectés (logique, matériel informatique, langage et systèmes de logiciel). Quelques questions à discuter seront:

– Qui et quoi déterminent la signification d’un programme?

– Que sont les sens de la notion de “programme”?

– Comment une interprétation particulière du terme “programme” restreint et détermine-t-elle une certaine pratique technique, sociale et/ou scientifique (et vice versa)?

– Quelles sont les connections entre programme, langage, algorithme, machine et/ou utilisateur?

– Dans quelle mesure les pratiques de la programmation sont-elles déterminées par (a) des particularités de la machine (b) le formalisme et la logique (c) l’utilisation?

– Que signifie l’“égalité” de deux programmes?

Les intervenants confirmés sont: Selmer Bringsjord (Rensselaer AI & Reasoning Lab), Maarten Bullynck (Université de Paris 8), Felice Cardone (Università degli Studi di Torino), Edgar Daylight (Siegen University), Marie-José Durand-Richard (Sphère, Université Paris-Diderot), Simone Martini (Università di Bologna), Pierre Mounier-Kuhn (CNRS, Centre Roland Mousnier), Elisabetta Mori (Middlesex University), Camille Paloque-Berges (CNAM), Giuseppe Primiero (Middlesex University), Franck Varenne (Université de Rouen)

PROGRAMME

11.00: Introduction (L. De Mol, CNRS/UMR8163 Savoirs, Textes,Langage)

11.15 – 13.00: Simone Martini (Università di Bologna); Pierre Mounier-Kuhn (CNRS, Centre Roland Mousnier); Giuseppe Primiero (Middlesex University); Franck Varenne (Université de Rouen); Camille Paloque-Berges (CNAM)

13.00-14.00: Déjeuner

14.00-16.00: Maarten Bullynck (Université de Paris 8); Marie-José Durand-Richard (Sphère, Université Paris-Diderot); Felice Cardone (Università degli Studi di Torino); Selmer Bringsjord (Rensselaer AI & Reasoning Lab); Edgar Daylight (Siegen University); Elisabetta Mori (Middlesex University)

16.00-17.00: Pot

ANR project: What is a program? Historical and philosophical perspectives