Sites Inria

Il y a 11 Résultats avec le mot clé : "Inria Paris"

Recherche

Présentation de l’équipe Serena

12/02/2016

L'équipe Serena a été créée le 1er juin 2015, c’est une équipe mixte entre Inria et ENPC dirigée par Martin Vohralik. Elle succède à l'équipe-projet Pomdapi qui s’est terminée en mai 2015.

Mots-clés :

Accueil > Centre > Paris > Actualités > Présentation de l’équipe Serena

Lire la suite

Séminaire des équipes de recherche

Séminaire Gallium

21/02/2017

Lieu : 2 rue Simone Iff (ou: 41 rue du Charolais) - Salle Lions 1, bâtiment C - 14h30

Intervenant(s) : Pierrick Couderc, Jacques Garrigue

Mots-clés :

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

lire la suite

Nomination

Laurent Romary – nouveau Président du comité technique 37 de l’ISO

9/02/2016

Laurent Romary, chercheur de l’équipe-projet Alpage, vient d’être nommé président du comité technique 37 de l’organisation internationale de normalisation, l’ISO, à compter du 1er janvier 2016 et pour une période de six ans.

Mots-clés :

Accueil > Centre > Paris > Actualités > Laurent Romary – nouveau Président du comité technique 37 de l’ISO

Lire la suite

Actualité

Le centre de recherche Paris - Rocquencourt emménage dans Paris

15/12/2015

En 1967, le Plan calcul du général de Gaulle avait installé l’IRIA à Rocquencourt au moment où le SHAPE, commandement des forces alliées, quittait le camp de Voluceau. En cette fin d’année, le centre de recherche Paris - Rocquencourt quitte le site pour rejoindre Paris intra muros et se rapprocher de ses partenaires académiques et industriels. Il s’appelle désormais "centre Inria de Paris".

Mots-clés :

Accueil > Centre > Paris > Actualités > Le centre de recherche Paris - Rocquencourt emménage dans Paris

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

Conférence scientifique

Le numérique au secours du cerveau humain

2/12/2017

Les informations contenues dans notre cerveau pourraient être un jour dévoilées. Mais ces machines à l’intelligence et à l’affection artificielles peuvent nous mener au meilleur comme au pire des mondes. Que souhaitons-nous en faire?

Lieu : Salle des conférences du Palais de la découverte - Avenue Franklin Delano Roosevelt, 75008 Paris

Intervenant(s) : Olivier Colliot (Equipe-projet Aramis)

Mots-clés :

Accueil > Centre > Paris > Agenda > Le numérique au secours du cerveau humain

lire la suite

Fabrizio de Vico Fallani - © Inria / Photo C. Morel

Conférence scientifique

Écrire à la vitesse de la pensée ?

9/12/2017

Les informations contenues dans notre cerveau pourraient être un jour dévoilées. Mais ces machines à l’intelligence et à l’affection artificielles peuvent nous mener au meilleur comme au pire des mondes. Que souhaitons-nous en faire?

Lieu : Salle des conférences Palais de découverte - Avenue Franklin Delano Roosevelt, 75008 Paris

Intervenant(s) : Fabrizio De Vico Fallani ( Equipe-projet Aramis)

Mots-clés :

Accueil > Centre > Paris > Agenda > Écrire à la vitesse de la pensée ?

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

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

Haut de page

Suivez Inria