Accueil
>
Équipes
>
RSD
>
Publications
>
Publications
Publications
par années
par types
Actualités
ACTUALITÉS
Doctorat Honoris Causa UGA pour Moshe Vardi
Conférences
Feb. 24, 2020
Workshop CAPITAL
11-15 mai 2020
AlgoTel et CoRes 2020
June 22-26, 2020
MOVEP 2020
Séminaires
Séminaires
16 décembre 2019
Lélio Brun:
Verified compilation of the lustre modular reset
19 décembre 2019
Yannick Zakowski:
From representing recursive and impure programs in coq to a modular formal semantics (...)
19 décembre 2019
Hang Yu:
Towards an efficient parallel parametric linear programming solver (Phd)
6 février 2020
Jules Chouquet:
Lower bounds for probabilistic k-set agreement through combinatorial (...)
Nouvelles publications
Publications Récentes
Offres d'emploi et stages
Offres d'emploi et stages
Navigation
Rubriques
Verimag
Équipes
Synchrone
Tempo
Pacss
RSD
Personnel
Partenaires
Thèmes de recherche
Projets
Outils
Publications
par années
par types
Emplois et stages
Contact
Plan du site
Rechercher :
Acces au Batiment
Contact
|
Plan du site
|
Site réalisé avec SPIP 3.1.11
+
AHUNTSIC
[CC License]
info visites
1367882
English
Français