Sites Inria

Il y a 9 Résultats avec le mot clé : "Séminaire Prosecco"

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

14/06/2017

F* is a dialect of ML aimed at program verification that puts  together the automation of an SMT-backed deductive verification tool with the expressive power of a proof assistant based on dependent types. After verification F* programs can be extracted to efficient OCaml, F#, or C code. This enables verifying the functional correctness and security of realistic applications, such as the verified HTTPS stack currently developed in Project Everest.

Lieu : Inria de Paris, 2 rue Simone Iff, Salle Jacques-Louis Lions 2, bâtiment C - 11h00

Intervenant(s) : Cătălin Hriţcu, Inria Paris

Mots-clés :

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

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

27/09/2017

Lieu : Inria de Paris - 2 rue Simone Iff 75012 Paris (Salle Lions 2, bâtiment C) - 10h30

Intervenant(s) : Amal Ahmed (Northeastern University)

Mots-clés :

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

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Seminaire des équipes de recheche

Séminaire Prosecco

12/04/2018

We give a rigorous characterization of what it means for a programming language to be memory safe, capturing the intuition that memory safety supports local reasoning about state. We formalize this principle in two ways. 

Lieu : Inria de Paris - 2 rue Simone Iff - 75012 Paris, room Lions 2 - 11h00

Intervenant(s) : Arthur Azevedo de Amorim (CMU)

Mots-clés :

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

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

27/06/2018

To cope with blockchain inconsistencies, like double-spending, developers started building upon Byzantine fault-tolerant (BFT) consensus. At first it seems reasonable because consensus can be effective at totally ordering transactions into a chain, however, it is notoriously difficult to scale.

Lieu : Inria de Paris, 2 rue Simone Iff, Salle Jacques-Louis Lions 1, bâtiment C

Intervenant(s) : Vincent Gramoli (NICTA/Data61-CSIRO and University of Sydney)

Mots-clés :

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

lire la suite

Séminaire Prosecco

Séminaire Prosecco

5/12/2018

Lieu : 2 rue Simone Iff 75012 - Salle Lions 1, bât C

Intervenant(s) : Guilhem Jaber

Mots-clés :

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

lire la suite

Séminaire Prosecco

Séminaire Prosecco

26/11/2018

Lieu : Salle Flajolet, bât C, 1er étage

Intervenant(s) : Jonathan Aldrich

Mots-clés :

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

lire la suite

Séminaire Prosecco

Séminaire Prosecco

19/12/2018

Lieu : Salle Flajolet

Intervenant(s) : Nicolas Tabareau

Mots-clés :

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

lire la suite

Séminaire Prosecco

Séminaire Prosecco

12/12/2018

Lieu : Salle Lions 2, 2 rue Simone Iff

Intervenant(s) : Kenji Maillard

Mots-clés :

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

lire la suite

Séminaire Prosecco

Séminaire Prosecco

4/12/2018

Lieu : JLL 2, bât C

Intervenant(s) : Exequiel Rivas

Mots-clés :

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

lire la suite

Haut de page

Suivez Inria