organization

INRIA

French Institute for Research in Computer Science and Automation

234 projects, page 1 of 47

project . 2010 - 2015
SISYPHE (Species Identity and SYmbiosis Formally and Experimentally explored)
Funder: EC Project Code: 247073

Partners: INRIA
project . 2012 - 2016
ANTICS (Algorithmic Number Theory in Computer Science)
Funder: EC Project Code: 278537

Partners: INRIA
project . 2012 - 2016
PROOFCERT (ProofCert: Broad Spectrum Proof Certificates)
Funder: EC Project Code: 291592

Partners: INRIA
project . 2008 - 2011
FLEXIBLEROBOTBEHAV (Flexible Behaviors for Humanoid Robots and Digital Humans)
Funder: EC Project Code: 221319

Partners: INRIA
project . 2011 - 2016
DAL (DAL: Defying Amdahl's Law)
Funder: EC Project Code: 267175

Partners: INRIA

234 projects, page 1 of 47

Any information missing or wrong?Report an Issue