Inria
Inria.fr
Inria Channel
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
Focus on Ambientic - Ambient Intelligence for nomadic communities
To date, nearly 30 start-ups have been created as a result of the work of the centre's teams. Recently, the Ambientic project, led by the ARLES project-team, received the Oséo prize in the “Development/Creation" category. The official creation of the Ambientic company should be announced in the coming months.
