Actualités et faits marquants
- 31 out 2024 -
Joseph Sifakis élu membre de la National Academy of Sciences
- 14 mé 2024 -
Junior professorship chair on verifiable / explainable artificial intelligence
- 24 avril 2024 -
Poste de professeur des universités (section 27)
- 24 mars 2024 -
Junior research professorship on cybersecurity at the software-hardware boundary
- 30 octob 2023 -
CADE-24 Skolem Award
- 17 séptanm 2023 -
Prix de l’épreuve du temps pour l’outil CADP
- 7 mé 2023 -
Poste de maître de conférences VERIMAG / UFR IM2AG
- 5 mé 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ésanm 2022 -
Susanne Graf a recu le prix CAV 2022
- 29 séptanm 2022 - Joseph Sifakis
Understanding and Changing the World, From Information to Knowledge and Intelligence
- 13 désanm 2021 -
La science taille XX’Elles
- 3 févrié 2021 -
TEMPO (Archive)
- 28 octob 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ésanm 2019 -
Doctorat Honoris Causa UGA pour Moshe Vardi
- 16 octob 2019 - Karine Altisen, Stéphane Devismes, Swan Dubois, and Franck Petit
New Book : Introduction to Distributed Self-Stabilizing Algorithms
- 20 séptanm 2019 - 20 September 2019 at IMAG Auditorium (Grenoble)
Oded Maler Memorial Day
- 15 séptanm 2019 -
Argosim et Verimag dans La Lettre Innovation du CNRS
- 27 mé 2019 -
Automatisation : y aura-t-il un pilote dans l’avion ?
- 15 séptanm 2018 -
Oded Maler
- 25 zwin 2018 -
La thèse d’Alexandre Maréchal primée par l’Accessit du GDR GPL
- 4 zwin 2018 - Le 4 juin 2018, à l’Auditorium IMAG (Grenoble)
Journée en l’honneur de Nicolas Halbwachs
- 16 mé 2018 - Date limite 16 mai - Grenoble INP/Ensimag et Prépa
5 postes d’ATER à temps plein
- 22 zanvié 2018 - David Monniaux
Pourquoi les ordinateurs qui pilotent les avions ne « plantent » pas en vol ?
- 13 octob 2017 -
Verimag participe à la fête de la science
- 10 octob 2017 - Goran Frehse
Verimag au Forum Méthodes Formelles
- 13 out 2017 - David Monniaux
Des algorithmes contre la démocratie ?
- 11 zwin 2017 - Jean-Louis Roch
Directeur de l’ensimag
- 5 zwiyé 2016 - French-American Doctoral Exchange Seminar (FADEx) 2016 : Systèmes Cyber-Physiques
FADEX 2016
- 29 févrié 2016 - Portrait de Fabien Gaucher - ARGOSIM SA
Minalogic : Argosim à la une
- 29 désanm 2015 -
video de l’exposé de Papadimitriou
- 15 out 2015 -
Verimag déménage à PILSI en avril 2016
- 12 out 2015 -
Joseph Sifakis membre honoraire de l’AAAS
- 1 zwiyé 2015 -
SpaceEx : l’explorateur d’espace d’états
- 10 zwin 2015 -
Un article de presse sur Stimulus/Argosim
- 11 mé 2015 -
L’UGA candidate à l’IDEX
- 10 désanm 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 zanvié 2014 - Self-Stabilizing (f,g)-Alliances with Safe Convergence
Best Student Paper Award in SSS’2013
- 2 zwiyé 2013 -
Prix du meilleur article CADE 2013 pour Radu Iosif
- 1 désanm 2012 -
David Monniaux, lauréat des ERC Starting Grants 2012
- 1 octob 2012 -
Paul Caspi
- 7 mars 2012 -
Un article sur Verimag dans les actualités Minalogic
- 31 zanvié 2012 -
Prix du meilleur article pour Stéphane Devismes, Karel Heurtefeux et Yvan Rivierre
- 14 désanm 2011 -
Prix du meilleur article pour Jannik Dreier
- 17 octob 2011 -
Joseph Sifakis élu à l’Académie des sciences
- 27 séptanm 2010 -
Prix de la meilleure publication scientifique pour Saddek Bensalem
Bat-karé si lo sit
