News
Seminars
- Seminars
- 28 March 2019 Olivier Vidal: Matières premières et énergie à l’échelle mondiale dans le contexte de la transition (...)
- 1 April 2019 Edward a. Lee: Living digital beings
- 4 April 2019 Radu Iosif: Checking deadlock-freedom of parametric component-based systems
- 5 April 2019 Radu Iosif: On the expressive completeness and complexity of prenex separation logic
- 29 April 2019 Invited Speakers: Journée thématique verimag : many-core kalray mppa, implementation and (...)
