News and Highlights (all)
- 30 October 2023 -
CADE-24 Skolem Award
- 17 September 2023 -
Test-of-time award for CADP
- 7 May 2023 -
Poste de maître de conférences VERIMAG / UFR IM2AG
- 5 May 2023 - REPORT au 4 mai - Mini-workshop --- 14h-17h — MACI
Chaînes de blocs et monnaie : regards croisés
- 23 March 2023 - Rencontres de la communauté française de compilation
CLAP-HiFi-LVP 2023 : Journées des GT CLAP, HiFi et LVP du GDR GPL du CNRS
- 20 December 2022 -
Susanne Graf received the 2022 CAV Award
- 29 September 2022 - Joseph Sifakis
Understanding and Changing the World, From Information to Knowledge and Intelligence
- 13 December 2021 -
La science taille XX’Elles
- 3 February 2021 -
TEMPO (Archive)
- 28 October 2020 -
Best Paper Award at NETYS’2020
- 10 April 2020 - Autonomous Cyber-Physical Systems and Digital Trust: Design, modeling, validation, implementations, certification
9 avril 2020 Ensimag Assistant professor Position in computer science, Grenoble INP/Ensimag, 1 September 2020
- 28 December 2019 -
Doctorat Honoris Causa UGA pour Moshe Vardi
- 16 October 2019 - Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit
New Book: Introduction to Distributed Self-Stabilizing Algorithms
- 20 September 2019 - 20 September 2019 at IMAG Auditorium (Grenoble)
Oded Maler Memorial Day
- 15 September 2019 -
Argosim and Verimag in ``La Lettre Innovation du CNRS’’
- 27 May 2019 -
Automation: Flying High?
- 15 September 2018 -
Oded Maler
- 25 June 2018 -
La thèse d’Alexandre Maréchal primée par l’Accessit du GDR GPL
- 4 June 2018 - 4 june 2018, at IMAG Auditorium (Grenoble)
Day in honor of Nicolas Halbwachs
- 16 May 2018 - Date limite 16 mai - Grenoble INP/Ensimag et Prépa
5 postes d’ATER à temps plein
- 22 January 2018 - David Monniaux
Why computers that drive planes do not bug when flying?
- 13 October 2017 -
Verimag takes part to the "fête de la science"
- 10 October 2017 - Goran Frehse
Verimag at Formal Methods Forum
- 13 August 2017 - David Monniaux
Algorithms against democracy?
- 11 June 2017 - Jean-Louis Roch
Directeur de l’ensimag
- 5 July 2016 - French-American Doctoral Exchange Seminar (FADEx) 2016 : Systèmes Cyber-Physiques
FADEX 2016
- 29 February 2016 - Portrait de Fabien Gaucher - ARGOSIM SA
Minalogic : Argosim à la une
- 29 December 2015 -
Papadimitriou’s talk video
- 15 August 2015 -
Verimag moves to PILSI in April 2016
- 12 August 2015 -
Joseph Sifakis honorary member of AAAS
- 1 July 2015 -
SpaceEx: the State Space Explorer
- 10 June 2015 -
A press article on Stimulus/Argosim
- 11 May 2015 -
UGA applies to IDEX
- 10 December 2014 -
Best paper award for P. Lafourcade and J. Dreier
- 30 March 2014 -
A Lecture at collège de France by Matthieu Moy
- 19 January 2014 - Self-Stabilizing (f,g)-Alliances with Safe Convergence
Best Student Paper Award in SSS’2013
- 2 July 2013 -
Best paper award for Radu Iosif at CADE 2013
- 1 December 2012 -
David Monniaux, prize winner of the ERC Starting Grants 2012
- 1 October 2012 -
Paul Caspi
- 7 March 2012 -
An article on Verimag in Minalogic News
- 31 January 2012 -
Best paper award for Stéphane Devismes, Karel Heurtefeux, and Yvan Rivierre
- 14 December 2011 -
Best paper award for Jannik Dreier
- 17 October 2011 -
Joseph Sifakis elected at « l’Académie des sciences »
- 27 September 2010 -
Best scientific publication prize for Saddek Bensalem
Browsing
