OCaml Meetup April 2024

Les exposés seront les suivants:

• Filipe Marques - Smt.ml - A Multi Back-end Front-end for SMT Solvers in OCaml
• Léo Andrès - Symbolic execution for all with Owi and Wasm

Inscription