OCaml Meetup Mars 2023
Meetup OCaml de Mars
IRILL - Research and Innovation on Free Software
Séminaire Codes Sources : Langages de programmation pour la composition musicale
Séminaire Codes Sources
Séminaire IRILL : Functional programming paradigm applied to package management: toward reproducible computational environment
Séminaire IRILL
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