Overview
News
Salaries
Products
People
Growth
Offices
Financials
News
Report
Report
Xavier Leroy - Sciences du logiciel Collège de France
102020 Lecture material: slides in English are now available for my Collège de France lectures on The Curry-howard correspondence today (2018-2019) and on Mechanized semantics (2019-2020). See also the companion Coq development .
Read more
Report
Gérard Berry - Algorithmes, machines et langages Collège de France
122019 Publication: the text of my inaugural lecture at Collège de France, Software, between mind and matter , is now available freely: in the original French at OpenEdition Books (HTML) and at HAL (PDF); and in English through a preliminary translation (
Read more
Report
Report
Le Logiciel : entre l'esprit et la matière (Grand format - Broché 2019), de Xavier Leroy Éditions Fayard
Chaire Sciences du logiciel Un même matériel informatique peut remplir de nombreuses fonctions différentes par simple changement du logiciel qu'il exé
Read more
Report
Le logiciel, entre l'esprit et la matière Collège de France
112020 Publication: Verified Code Generation for the Polyhedral Model , by Nathanaël Courant and I, to be presented at POPL 2021, withaccompanying Coq development .
Read more
Report