Français Anglais
Accueil Annuaire Plan du site
Production scientifique
Contrat de l'équipe Vérification d'Algorithmes, Langages et Systèmes
DIGICOSME

ANR
Mars 2012 - Févr. 2016

Equipe : Vérification d'Algorithmes, Langages et Systèmes
Responsable : PAULIN-MOHRING Christine

Gestionnaire : 
Organisme gérant : Université Paris XI

DIGICOSME



Activités de recherche

Membres LRI



Contrats
° SESAME DIGIPODS UPS
INTERACTION COLLABORATIVE à DISTANCE ENTRE PLATEFORMES DE VISUALISATION HéTéROGèNES
REGION IDF

° ERC ONE
ERC ONE
CONTRAT EUROPEEN

° NEXT
NEXT

° SOFTQPRO
SOFTQPRO
ANR