Accueil
>
Collaborations
> Coopérations
Présentation
Equipes
Collaborations
Contrats
Coopérations
Visiteurs
Production scientifique
Recrutements
Formation
Informations pratiques
Coopérations avec France Télécom R&D Rennes - Projet SWID
Conception d'une plateforme d'intégration d'information (depuis Sept. 2004)
Conception et développement d'une plateforme d'intégration d'information de type "médiateur".
Activités de recherche
>
Publications
°
Intégration d'informations
°
Web sémantique
Equipes :
°
Intelligence Artificielle et Systèmes d'Inférence
Contact :
Pour en savoir plus :
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