Inria
Inria.fr
Inria Channel
À la une
Pour prouver il faut écrire des logiciels et pour être sur qu'ils sont bons il faut les diffuser...
Paul Louis George est le Responsable scientifique de l'équipe-projet Gamma3.
Partenariats industriels
Je suis convaincu qu’il faut multiplier les contacts entre l’industrie et la recherche fondamentale car ils s’enrichissent mutuellement.
Rencontre avec M. Pierre Letzelter
Technologies
© Inria / Équipe-projet PI.R2
Une action de développement technologique pour Coq
Né en 1984 à l’Inria, le logiciel Coq a bénéficié de l’apport d’une quarantaine de contributeurs pour son implémentation. Il fait partie aujourd’hui des sept grands systèmes de preuves interactives.
Rencontres
Transfert
Zoom sur Ambientic - Intelligence ambiante pour les communautés nomades
A l’heure actuelle, près de 30 start-up ont été créées à partir des travaux des équipes du centre. Récemment le projet Ambientic mené par l’équipe-projet Arles a reçu le prix Oséo dans la catégorie “Développement – création”. La création officielle de la société Ambientic devrait être annoncée dans les prochains mois.
