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
DIM COQUELICOT -CONVENTION PROJE
DIGITEO
Sep 2011 - Aug 2014
Group :
Verification of Algorithms, Languages and Systems
Principal investigator :
BOLDO Sylvie
Administrator :
Affiliation :
INRIA
DIM COQUELICOT -Convention Projet 2011-039D
Research activities
Formalisation and Proof of Numerical Programs
Formalisation of (Specification and Programming) Languages in Proof Assistants
Participants
BOLDO Sylvie
MELQUIOND Guillaume
More information :
http://coquelicot.saclay.inria.fr/
Contracts & grants
°
SESAME DIGIPODS UPS
REMOTE COLLABORATIVE INTERACTION AMONG HETEROGENEOUS VISUALIZATION PLATFORMS
REGION IDF
> more contracts & grants
