Skip to primary content
OpenEdition Search
All OpenEdition
Digital resources in the Social Sciences and Humanities
OpenEdition
Our platforms
OpenEdition Books
OpenEdition Journals
Hypotheses
Calenda
Libraries
OpenEdition Freemium
Follow us
You will be redirected to OpenEdition Search
In all OpenEdition
In "PROGRAMme"
Search
PROGRAMme
ANR project: What is a (computer) program? Historical and philosophical perspectives
Search
Main menu
About
Description
Members
Events
PROGRAMme spring workshop: Future visions on computing and programming then and now.
PROGRAMme Autumn workshop in Bertinoro 2023
Spring workshop III: What is a computer program? Final conference
Autumn workshop III: What is a computer program, revisited
Spring workshop II
FFIUM/PROGRAMme colloquium: formalization of proofs, formalization of programs
Autumn workshop II: Programming Languages and Notations
Spring workshop I: Machines
Autumn workshop: formalisms at the interface with machines, languages and systems
Prelaunch event “What is (computer) program?” – a roundtable
Lancement du projet: séminaire et journée d’étude
Jobs
Call for application PhD/Appel à candidature doctorat
Bibliography
Publications from members
Talks and Publications
Jobs
One PhD student and one PostDoc will be hired on this project. More details will follow later.
