Accueil
>
Contact
>
Qui contacter
>
Qui contacter
Qui contacter
Directeur :
David Monniaux
0457422232
Directeur Adjoint :
Pascal Raymond
0457422240
Pour contacter la direction de Verimag:
verimag-direction@univ-grenoble-alpes.fr
Support Informatique :
verimag-root@univ-grenoble-alpes.fr
Responsable des séminaires :
verimag-sem-master@univ-grenoble-alpes.fr
Webmestre :
verimag-webmaster@univ-grenoble-alpes.fr
Actualités
Séminaires
Séminaires
5 novembre 2026
Yann Kieffer:
Fast and reliable exact real computations through functional programming.
12 novembre 2026
David Monniaux:
L'existence d'invariants polyédriques est indécidable dans les systèmes linéaires
16 novembre 2026
Benjamin Bonneau:
Propagation of semantic information in a verified compilation pipeline (Phd)
19 novembre 2026
Clement Chavanon:
Barocq: a high-level programming language for efficient and verifiable embedded system (…)
25 novembre 2026
Dominique Larchey-wendling:
Constructive substitutes for kőnig’s lemma
26 novembre 2026
Basile Gros:
Petites inversions par proxy pour rocq (Phd)
Nouvelles publications
Quelques Publications Récentes
Marius Bozga, Radu Iosif, Florian Zuleger:
Regular Grammars for Sets of Graphs of Tree-Width 2
Karine Altisen, Marius Bozga:
Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm
Marius Bozga, Radu Iosif, Florian Zuleger:
Iterating Non-Aggregative Structure Compositions
Bruno Ferres, Oussama Oulkaid, Matthieu Moy, Gabriel Radanne, Ludovic Henrio, Pascal Raymond, Mehdi Khosravian:
A Survey on Transistor-Level Electrical Rule Checking of Integrated Circuits
Offres d'emploi et stages
Offres d'emploi et stages
Navigation
Rubriques
Verimag
Axes
Contact
Qui contacter
Venir à Verimag
Plan du site
Acces au Batiment
Contact
|
Plan du site
|
Site réalisé avec SPIP 4.4.28
+
AHUNTSIC
[CC License]
info visites
56766738
English
Français