Latest news
© Inria / Photo: Kaksonen
![]()
To work together on a joint research programme is the aim of the two "small" laboratories set up jointly at the Paris-Rocquencourt research centre by an Inria project-team (CLIME and GAMMA 3) and an SME, known as I-Labs.
![]()
Industrial partnerships
Innovation in the region
Inria Paris-Rocquencourt develops close scientific partnerships with the world of industry and services in the Île-de-France region.
Depending on the details of the different collaborative projects and partners (industrial players, local and regional authorities, etc.), development activities can take several forms.
Technologies
© Inria / PI.R2 project-team
A technology development action for Coq
Created at Inria in 1984, Coq software has benefited from the support of some forty contributors in its implementation. It is now one of the seven largest interactive proof systems.
Meetings
Technology Transfer
Les start-up issues d'Inria de Paris de 2006 à 2015
Les sociétés de technologie issues d'Inria industrialisent des produits issus de prototypes de recherche ou diffusent le savoir-faire acquis à l'Institut. Elles comptent dans leur équipe fondatrice un ancien membre des équipes d'Inria.