Séminaire APR : Interprétation abstraite de smart-contracts Michelson avec MOPSA.
Séminaire APR
IRILL - Research and Innovation on Free Software
OCaml Meetup Septembre 2022
Meetup OCaml de Septembre
Ten Years of Guix September 2022
Ten Years of Guix — 16–18th September 2022, Paris, France
FSiC2022 July 2022
2022 Free Silicon Conference (FSiC)
Séminaire IRILL : double séance Eclipse Foundation
Séminaire IRILL
Séminaire IRILL : The Langkit technology: an ecosystem for language front-ends
Séminaire IRILL
Séminaire Codes Sources : Programmation Logique et Intelligence Artificielle : cinquantième anniversaire de Prolog
Séminaire Codes Sources
OCaml Meetup Mai 2022
Meetup OCaml de Mai
Séminaire Codes Sources : Ethnographier les processus de production de dispositifs à "intelligence artificielle" : matérialités et représentations dans l’IA
Séminaire Codes Sources
Séminaire Codes Sources : Algol, 60 ans après
Séminaire Codes Sources