Actualités
-
ACTUALITÉS
- Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit New Book : Introduction to Distributed Self-Stabilizing Algorithms
- 20 September 2019 at IMAG Auditorium (Grenoble) Oded Maler Memorial Day
- Conférences
- 30 September - 1 October 2019 AVoCS 2019
- November 25-29 2019 Synchron 2019
- Séminaires
- 19 septembre 2019 Martin Franzle: What’s to come is still unsure: automatically synthesizing and verifying controllers (...)
- 20 septembre 2019 -- Oded maler memorial day: Oded maler memorial day
- 26 septembre 2019 Pierre-jean Meyer: Reachability analysis and decompositions for abstraction-based control (...)
- 8 octobre 2019 Valentin Touzeau: Static analysis of least recently used caches: complexity, optimal analysis, and (...) (Phd)
