Séminaire Codes Sources : Comment les outils automatiques peuvent nous aider, nous cryptographes
Séminaire Codes Sources
IRILL - Research and Innovation on Free Software
OCaml Meetup Janvier 2023
Meetup OCaml de Janvier
OCaml Meetup Décembre 2022
Meetup OCaml de Décembre
Séminaire IRILL : Minimacy, à la recherche d'une informatique transparente et simple
Séminaire IRILL
Séminaire IRILL : Of JavaScript Ahead-Of-Time Compilation Performance
Séminaire IRILL
Séminaire APR : Interprétation abstraite de smart-contracts Michelson avec MOPSA.
Séminaire APR
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