Français Anglais
Accueil Annuaire Plan du site
Home > Research results > Contracts & grants > Contract
About LRI
Groups
Collaborations
Research results
Highlights
Contracts & grants
Software & patents
Ph.D. dissertations & faculty habilitations
LRI Publications
Internal Publications
Open positions
Teaching
Useful informations
Contract / grant for group Verification of Algorithms, Languages and Systems
DIGICOSME

ANR
Mar 2012 - Feb 2016

Group : Verification of Algorithms, Languages and Systems
Principal investigator : PAULIN-MOHRING Christine

Administrator : 
Affiliation : Université Paris XI

DIGICOSME



Research activities

Participants
Contracts & grants
° SESAME DIGIPODS UPS
REMOTE COLLABORATIVE INTERACTION AMONG HETEROGENEOUS VISUALIZATION PLATFORMS
REGION IDF