Séminaire IRILL : Functional programming paradigm applied to package management: toward reproducible computational environment
Séminaire IRILL
IRILL - Research and Innovation on Free Software
Séminaire IRILL : Interpretability-Aware Verification of Machine Learning Software
Séminaire IRILL
Séminaire Codes Sources : Comment les outils automatiques peuvent nous aider, nous cryptographes
Séminaire Codes Sources
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