Sites Inria

Il y a 267 Résultats avec le mot clé : "séminaire"

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

8/10/2018

Bringing the benefits of gradual typing to a language with parametric polymorphism like System F, while preserving relational parametricity, has proven extremely challenging: first attempts were formulated a decade ago, and several recent developments have been published in the past year.

Lieu : Inria de Paris - 2 rue Simone Iff 75012 - Bâtiment C - Salle Lions

Intervenant(s) : Eric Tanter ( University of Chile & Inria de Paris )

Mots-clés :

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

lire la suite

Séminaire

Séminaire Gallium

15/10/2018

Séminaire Gallium 

Inria - Paris 
2 rue Simone Iff 75012 Paris
Salle Lions 1, bâtiment C
15 octobre, 10h30

Lieu : Salle Lions 1, bât C

Intervenant(s) : Kenji Maillard

Mots-clés :

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

lire la suite

Neurosciences

Séminaire du réseau lorrain de recherche en Neurosciences (IT-neuro)

25/04/2019

Le thème de cette journée sera "Émotions/Motivation/Addictions" .

Lieu : Université de Lorraine - Amphithéâtre de la Présidence - 34 cours Léopold, 54000 Nancy

Intervenant(s) : Frédéric Alexandre, responsable de l'équipe Mnemosyne à Inria Bordeaux

Mots-clés :

Accueil > Centre > Nancy > Agenda > Séminaire du réseau lorrain de recherche en Neurosciences (IT-neuro)

lire la suite

Séminaire

Séminaire Gallium

8/07/2019

Lieu : Inria de Paris - Salle JLL1

Intervenant(s) : Cyril Six

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 'Proving tree algorithms for succinct data structures'

23/09/2019

Succinct data structures give space-efficient representations of large amounts of data without sacrificing performance. They rely on cleverly designed data representations and algorithms.

Lieu : inria de Paris - Salle Jacques-Louis Lions - 10h30

Intervenant(s) : Jacques Garrigue (Nagoya University)

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium 'Proving tree algorithms for succinct data structures'

lire la suite

Séminaire des équipes de recherche

Séminaire SERENA 3

27/09/2019

Lieu : Salle A415, bâtiment A -15h

Intervenant(s) : Ivan Yotov

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire SERENA 3

lire la suite

Séminaire des équipes de recherche

Séminaire Gallium 'Towards certified incremental functional programming'

30/09/2019

Data constantly change. Google engineers make one commit every 2 seconds on the same git repository. On average, Twitter receives approximatively 6000 tweets per second. A self-driving car typically updates 100MB of its state each second.

Lieu : Salle Jacques-Louis Lions 1, bâtiment C - 10h30

Intervenant(s) : Yann Régis-Gianas, Université Paris Diderot

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium 'Towards certified incremental functional programming'

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium 'EverParse'

3/10/2019

Parsers are a security-critical part of networking software, where bugs can lead to such catastrophes as the 2017 Cloudflare data leaks ("Cloudbleed".) 

We present EverParse, our open-source library and tools for automatic generation of verified efficient parsers for binary transport data formats.

Lieu : Salle Jacques-Louis Lions 1, bâtiment C - 10h30

Intervenant(s) : Tahina Ramananandro (Microsoft Research, Redmond)

Mots-clés :

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

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

14/10/2019

EverCrypt is a comprehensive collection of verified, high-performance cryptographic functionalities available via a carefully designed API. 

Lieu : Inria de Paris, Salle Lions 1, bâtiment C - 10h30

Intervenant(s) : Jonathan Protzenko, Microsoft Research

Mots-clés :

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

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

9/10/2019

For performance and security reasons, it is sometimes necessary to program at the lowest levels of abstraction, using a mixture of C and assembly. In this talk, we present techniques that allow verifying such code for correctness and side-channel resistance.

Lieu : Mercredi 9 octobre, 11h00 ✫ Salle Jacques-Louis Lions 2

Intervenant(s) : Nik Swamy (MSR) and Aymeric Fromherz (CMU)

Mots-clés :

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

lire la suite

Haut de page

Suivez Inria