Sites Inria

There are 6 Results with the keyword : "Research team"

© Inria / Photo Kaksonen

Technology transfer

Technology transfer: for whom and to what end?

1/08/2016

One of Inria's fundamental tasks is to transfer research skills and results to industry.  Inria encourages and supports projects to transfer technology from its research teams to industrial partners with the aim of enhancing the impact of research on society as a whole, supporting business innovation, and developing regional economies.

Keywords:

Home > Centre > Lille > Innovation > Technology transfer > Le transfert

More

Inauguration

The Inria Saclay - Île-de-France research centre is expanding

Magalie Quet - 22/02/2017

The extension of the Alan Turing building, headquarters of the Inria Saclay - Île-de-France research center, was inaugurated on Tuesday 14 February 2017. After 2 years of construction, the building now extends over 12,000 m² and has more than 120 news offices, a FIT IoT-Lab wireless sensor platform or a 130-seat amphitheater.

Keywords:

Home > Centre > Saclay > News > Le centre Inria Saclay – Île-de-France s’agrandit

More

© INRIA Sophie Auvin - G comme Grille

Resarch team 's seminary

Gallium Seminary

5/03/2018

Static analyses aim at inferring semantic properties of programs. While many analyses compute an over-approximation of reachable states, some analyses compute a description of the input-output relations of programs. In the case of numeric programs, several analyses have been proposed that utilize relational numerical abstract domains to describe relations.

Place : Inria de Paris- 2 rue Simone Iff- 75012

Guest(s) : Hugo Illous- ENS

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

© INRIA Sophie Auvin - G comme Grille

Research team 's seminary

Gallium Seminary

12/03/2018

We present the design of a new functional programming language, MLTS, that possesses built-in mechanisms for treating data structures that include bindings.

Place : Inria Paris - 2 rue Simone Iff- 75012 - Paris- Salle Lions 1- bâtiment C

Guest(s) : Ulysse Gérard ( Inria Saclay)

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

© INRIA Sophie Auvin - R comme Robot

Research team seminary

RITS seminary

20/03/2018

Connected and Automated Vehicles (CAVs) offer tremendous benefits for road safety and traffic efficiency. In this talk, I will give an overview of the research challenges in securing CAVs. Then, I will present some work-in-progress on misbehavior detection in CAVs.

Place : Inria de Paris - 2 rue Simone Iff - 75012 - Paris

Guest(s) : Jonathan Petit

Keywords:

Home > Centre > Paris > Calendar > Séminaire RITS

lire la suite

© INRIA Sophie Auvin - G comme Grille

Research team seminar

Gallium seminar

26/03/2018

Standard libraries of programming languages provide efficient implementations for common data containers. The details of these implementations are abstracted away by generic interfaces which are specified in terms of well understood mathematical structures such as sets, multisets, sequences, and partial functions. The intensive use of container libraries makes important their formal verification.

Place : Inria de Paris - 2 rue Simone Iff 75012- Batiment C - Salle Jacques Louis Lions

Guest(s) : Raphaël Cauderlier

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

Top