Skip to primary content
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
Credits
Chief editor: Liesbeth De Mol
Redaction team:
Photography credits:
Search OpenEdition Search
You will be redirected to OpenEdition Search
In All OpenEdition
On PROGRAMme
Search
">
TODO
OpenEdition
Search
All OpenEdition
A digital resources portal for the humanities and social sciences
OpenEdition
Our platforms
OpenEdition Books
OpenEdition Journals
Hypotheses
Calenda
Libraries and institutions
OpenEdition Freemium
Our services
OpenEdition Search
Newsletter
Follow us
OpenEdition Books
Calenda
Hypothèses
OpenEdition Journals
OpenEdition
OpenEdition Search