Publications
- Un article du LMF dans New Scientist July 24, 2026
- New book by Stéphane Demri on alternating-time temporal logics May 05, 2026
2025
- Book Release : Learn Programming with OCaml February 13, 2025
2021
- Matthias Függer et al: new article in JACM November 03, 2021