Sites Inria

Version française

Latest news

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

25/06/2018

A new understanding of Stroustrup's destructors in the context of the linear call-by-push-value models gives rise to a proposal for a resource management model for ML-style programming languages.

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

Guest(s) : Guillaume Munch-Maccagnoni

Keywords:

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.

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

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

Keywords:

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

9/07/2018

Pijul est un système de contrôle de versions distribué basé sur une vraie théorie des patchs.

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

Guest(s) : Pierre-Étienne Meunier

Keywords:

lire la suite

Top