Actualités et faits marquants
- 30 octobre 2023 -
CADE-24 Skolem Award
- 17 septembre 2023 -
Prix de l’épreuve du temps pour l’outil CADP
- 7 mai 2023 -
Poste de maître de conférences VERIMAG / UFR IM2AG
- 5 mai 2023 - REPORT au 4 mai - Mini-workshop --- 14h-17h — MACI
Chaînes de blocs et monnaie : regards croisés
- 23 mars 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 décembre 2022 -
Susanne Graf a recu le prix CAV 2022
- 29 septembre 2022 - Joseph Sifakis
Understanding and Changing the World, From Information to Knowledge and Intelligence
- 13 décembre 2021 -
La science taille XX’Elles
- 3 février 2021 -
TEMPO (Archive)
- 28 octobre 2020 -
Best Paper Award at NETYS’2020
- 10 avril 2020 - Systèmes cyber-physiques autonomes et confiance numérique : conception, modélisation, validation, implémentations, certification
9 avril 2020 Poste de maître de conférences en informatique, Grenoble INP/Ensimag, pour recrutement au 1er septembre 2020
- 28 décembre 2019 -
Doctorat Honoris Causa UGA pour Moshe Vardi
- 16 octobre 2019 - Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit
New Book : Introduction to Distributed Self-Stabilizing Algorithms
- 20 septembre 2019 - 20 September 2019 at IMAG Auditorium (Grenoble)
Oded Maler Memorial Day
- 15 septembre 2019 -
Argosim et Verimag dans La Lettre Innovation du CNRS
- 27 mai 2019 -
Automatisation : y aura-t-il un pilote dans l’avion ?
- 15 septembre 2018 -
Oded Maler
- 25 juin 2018 -
La thèse d’Alexandre Maréchal primée par l’Accessit du GDR GPL
- 4 juin 2018 - Le 4 juin 2018, à l’Auditorium IMAG (Grenoble)
Journée en l’honneur de Nicolas Halbwachs
- 16 mai 2018 - Date limite 16 mai - Grenoble INP/Ensimag et Prépa
5 postes d’ATER à temps plein
- 22 janvier 2018 - David Monniaux
Pourquoi les ordinateurs qui pilotent les avions ne « plantent » pas en vol ?
- 13 octobre 2017 -
Verimag participe à la fête de la science
- 10 octobre 2017 - Goran Frehse
Verimag au Forum Méthodes Formelles
- 13 août 2017 - David Monniaux
Des algorithmes contre la démocratie ?
- 11 juin 2017 - Jean-Louis Roch
Directeur de l’ensimag
- 5 juillet 2016 - French-American Doctoral Exchange Seminar (FADEx) 2016 : Systèmes Cyber-Physiques
FADEX 2016
- 29 février 2016 - Portrait de Fabien Gaucher - ARGOSIM SA
Minalogic : Argosim à la une
- 29 décembre 2015 -
video de l’exposé de Papadimitriou
- 15 août 2015 -
Verimag déménage à PILSI en avril 2016
- 12 août 2015 -
Joseph Sifakis membre honoraire de l’AAAS
- 1er juillet 2015 -
SpaceEx : l’explorateur d’espace d’états
- 10 juin 2015 -
Un article de presse sur Stimulus/Argosim
- 11 mai 2015 -
L’UGA candidate à l’IDEX
- 10 décembre 2014 -
Prix du meilleur article pour P. Lafourcade et J. Dreier
- 30 mars 2014 -
Séminaire au collége de France par Matthieu Moy
- 19 janvier 2014 - Self-Stabilizing (f,g)-Alliances with Safe Convergence
Best Student Paper Award in SSS’2013
- 2 juillet 2013 -
Prix du meilleur article CADE 2013 pour Radu Iosif
- 1er décembre 2012 -
David Monniaux, lauréat des ERC Starting Grants 2012
- 1er octobre 2012 -
Paul Caspi
- 7 mars 2012 -
Un article sur Verimag dans les actualités Minalogic
- 31 janvier 2012 -
Prix du meilleur article pour Stéphane Devismes, Karel Heurtefeux et Yvan Rivierre
- 14 décembre 2011 -
Prix du meilleur article pour Jannik Dreier
- 17 octobre 2011 -
Joseph Sifakis élu à l’Académie des sciences
- 27 septembre 2010 -
Prix de la meilleure publication scientifique pour Saddek Bensalem
Navigation
