Attention, suite à une faille de sécurité, les liens vers les serveurs d'exploration ont été désactivés. Des actions de régénération sont en cours et quelques serveurs sont à nouveau accessibles.
-
Centre de recherche INRIA Bordeaux - Sud-Ouest
De Wicri Informatique
Le Centre de recherche INRIA Bordeaux - Sud-Ouest est une structure décentralisée de l'Institut national de recherche en informatique et en automatique qui travaille en partenariat avec les laboratoires suivants :
- l'IMB, Institut de Mathématiques de Bordeaux (UMR 5251)
- Equipes ALEA, ANUBIS, BACCHUS, CQFD, LFANT, MC2, REALOPT
- le LaBRI, laboratoire Bordelais de Recherche en Informatique (UMR 5800)
- Equipes BACCHUS, CEPAGE, GRAVITE, HIEPACS, IPARLA, MAGNOME, PHOENIX, REALOPT, RUNTIME, SIGNES
- le LMA, laboratoire de Mathématiques et de leurs Applications de Pau (UMR 5142)
- Equipes CONCHA et MAGIQUE-3D.
