Talks:
- Wiki for Coq: Incrementally checking formal documents, Emilio-Jesus Gallego-Arias (picube)
- Prune in Rust: A language for automating parameter studies and benchmarks, Simon Legrand (SED)
- Introduction to Github Actions, Thierry Martinez (SED)
Talks: