Accueil
>
Verimag
>
Thèse en cours
>
Thèse en cours
Thèse en cours
Alban Reynaud Michez
(2022 - 2026)
Neven Villani
(2024 - 2027)
Timothée Rognon
(2024 - 2027)
Christoffer Lind Andersen
(2025 - 2027)
Sirine Bourbia
(2025 - 2028)
Benjamin Gaudin
(2025 - 2028)
Alexandre Berard
(2026 - 2026)
Baptiste De Goer De Herve
(2026 - 2026)
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
Akram Idani, Yves Ledru, German Vega:
Formal model-driven security combining B-method and process algebra: The B4MSecure platform
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
Direction et Responsables
Membres
Publications
Outils
Thèse en cours
Emplois et stages
Projets
Partenaires
Colloques et Conférences
Séminaires
Documents
Axes
Contact
Plan du site
Acces au Batiment
Contact
|
Plan du site
|
Site réalisé avec SPIP 4.4.28
+
AHUNTSIC
[CC License]
info visites
56847215
English
Français