Sites Inria

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

© 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