Sites Inria

Il y a 10 Résultats avec le mot clé : "Equipe de recherche"

© Inria / Photo Kaksonen

Transfert

Le transfert : pour qui, pour quoi ?

1/08/2016

Le transfert des compétences et des résultats de la recherche vers l'industrie est une des missions fondamentales d'Inria.  L’institut encourage et soutient les projets de transfert entre ses équipes de recherche et le monde industriel dans l’objectif d’augmenter l’impact des travaux de recherche sur la société, de soutenir l’innovation des entreprises et le développement économique des territoires.

Mots-clés :

Accueil > Centre > Lille > Innovation > Le transfert > Le transfert

Lire la suite

© Inria / Photo J. Wallace

Collaborations

Les différentes modalités de collaborations avec Inria

1/08/2016

S’il existe souvent des briques technologiques développées par les équipes de recherche pouvant répondre aux besoins des entreprises, il est cependant indispensable de les adapter, de les stabiliser et parfois de former si nécessaire, l'entreprise à les utiliser.

Mots-clés :

Accueil > Centre > Lille > Innovation > Le transfert > Collaborations

Lire la suite

© INRIA / Photo I. Ginsburg

Événements

Les événements autour du transfert

1/08/2016

Le centre Inria Lille - Nord Europe organise différents évènements tout au long de l’année afin de favoriser les échanges entre chercheurs et entreprises. Vous pourrez y rencontrer les membres des équipes de recherche et du service Transfert pour l'Innovation et Partenariats. Participez à un évènement Inria !

Mots-clés :

Accueil > Centre > Lille > Innovation > Le transfert > Événements

Lire la suite

© INRIA Sophie Auvin - P comme Protocole

Seminaire des équipes de recheche

Seminaire Prosecco

7/12/2017

A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST

Lieu : INRIA - Paris -2 rue Simone Iff - Salle Lions 2, bâtiment C

Intervenant(s) : Amin Timany, KU Leuven

Mots-clés :

Accueil > Centre > Paris > Agenda > Seminaire Prosecco

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

14/12/2017

Provably secure compilation of side-channel countermeasures.

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

Intervenant(s) : Vincent Laporte, IMDEA

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Prosecco

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

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.

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

Intervenant(s) : Hugo Illous- ENS

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

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.

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

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

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

© INRIA Sophie Auvin - R comme Robot

Séminaire des Equipes de recherche

Séminaire RITS

20/03/2018

Une réduction des accidents et une meilleure fluidité du trafic sont les bénéfices importants espérés avec l'avènement des véhicules automatisés connectés (VAC). Au cours de cet exposé, j'aborderai les problèmes de recherche posés par les VAC en matière de cybersécurité. Ensuite, je présenterai des travaux en cours sur la détection de VAC au comportement malhonnête.

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

Intervenant(s) : Jonathan Petit

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire RITS

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

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.

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

Intervenant(s) : Raphaël Cauderlier

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

Séminaire des équipes de recherche

Séminaire Prosecco

4/06/2018

I will present Template-Coq which is a Coq plugin to quote and unquote terms.

Lieu : Inria de Paris, 2 rue Simone Iff, 75012 Paris, bâtiment C, salle J.L. Lions 2 - 2:00 pm

Intervenant(s) : Simon Boulier (Inria Nantes)

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Prosecco

lire la suite

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !