Accueil
>
Collaborations
> Coopérations
Présentation
Equipes
Collaborations
Contrats
Coopérations
Visiteurs
Production scientifique
Recrutements
Formation
Informations pratiques
Coopérations avec GDR ICQ
GDR (depuis Janv. 2000)
GDR Information et Communication Quantique
Membres du LRI : I. Kerenidis, S. Laplante, F. Magniez, M. Santha
Activités de recherche
>
Publications
°
Calcul quantique
Equipes :
°
Algorithmique et Complexité
Contact :
Pour en savoir plus :
http://gdr-iq.neel.cnrs.fr/index.html
Coopérations
°
AdaCore SAS
avec
Vérification d'Algorithmes, Langages et Systèmes
°
LSV, ENS Cachan
avec
Vérification d'Algorithmes, Langages et Systèmes
°
System X FSF
avec
Vérification d'Algorithmes, Langages et Systèmes
°
International Joint Project MoBasT
avec
Vérification d'Algorithmes, Langages et Systèmes
°
GDR Informatique Mathématique
> toutes les coopérations