Projet ANR dans le cadre des JCJC
PROGRAMme
ANR PROGRAMme : Qu'est-ce qu'un programme? Perspectives Historiques et Philosophiques// What is a program? Historical and philosophical perspectives
Le projet de recherche PROGRAMme – Projet financé par l’Agence Nationale de la Recherche (ANR) dans le cadre des JCJC - Projets Jeunes Chercheuses et Jeunes Chercheurs
Responsable scientifique : Liesbeth De Mol (CNRS, UMR 8163 Savoirs, Textes, Langage)
Site web du projet : http://programme.hypotheses.org
Membres du projet : http://programme.hypotheses.org/members
Début du projet : 01/02/2018
Fin du projet : 30/01/2022
Durée du projet : 48 mois
Financeur : ANR (291 238 €) https://anr.fr/Projet-ANR-17-CE38-0003
Résumé du projet en francais
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.
Résumé du projet en anglais
What is a computer program ? This seemingly simple question, which lies at the heart of computer science, has no simple answer today, neither in academia nor in industry. Nonetheless, the responses one gives to it affect very real problems, such as the issue of responsibility when a given piece of software fails. The aim of this project is to revisit that fundamental question from a more historical and philosophical angle. The project starts from a basic characterization of "program" along three different "modalities": a physical, a formal and a sociotechnical modality. Any program is rooted in these three modalities and any understanding of "program" needs to incorporate them. This project wants to understand what a “program” is by focusing on the formal modality (mathematical, logical and linguistic properties), how it accommodates the two other modalities and how they come together in a programming practice.