News
Seminars
- Seminars
- 16 November 2018 Amaury Graillat: Parallel code generation of synchronous programs for a many-core architecture (Phd)
- 22 November 2018 Analyse et verif. legeres Une journee de reflexion: Lightweight analysis and verification techniques
- 29 November 2018 Sylvain Boulmé: Importation d'oracles ml impératifs dans du code coq vérifié
- 6 December 2018 Joseph Sifakis: On the nature of autonomy – a rigorous architectural characterization
