Sites Inria

There are 79 Results with the keyword : "Inria de Paris"

Eric Fleury - © Inria / Photo G .Scagnelli

Nomination

Éric Fleury, appointed director of the Inria Paris center

2/04/2018

Éric Fleury is taking up the position of head of the Inria Paris research centre as of 1 April 2018. Appointed by François Sillion, Inria's acting CEO, he succeeds Isabelle Ryl who is joining the institute's directorate-general as Deputy CEO for Transfer and Industrial Partnerships.

Keywords:

Home > Centre > Paris > News > Eric Fleury, nommé directeur du centre Inria de Paris

More

© INRIA Sophie Auvin - P comme Protocole

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.

Place : Inria de Paris, 2 rue Simone Iff, 75012 Paris, bâtiment C, salle J.L. Lions 2 - 2:00 pm

Guest(s) : Simon Boulier (Inria Nantes)

Keywords:

Home > Centre > Paris > Calendar > Séminaire Prosecco

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

4/06/2018

Concurrent separation logic (CSL) is a specification logic for concurrent imperative programs with shared memory and locks.

Place : Inria de Paris, 2 rue Simone Iff, 75012 Paris, bâtiment C, salle J.L. Lions 1 - 10:30 am

Guest(s) : Léo Stefanesco (IRIF)

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

6/06/2018

Mechanizing formal systems, given via axioms and inference rules, together with proofs about them plays an important role in establishing trust in formal developments.

Place : Inria de Paris, 2 rue Simone Iff, 75012 Paris, bâtiment C, salle J.L. Lions 1 - 10:30 am

Guest(s) : Brigitte Pientka (McGill University)

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

© 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:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

© INRIA Sophie Auvin - G comme Grille

Resarch team 's seminary

Gallium seminary

22/05/2018

Dans cet exposé je vais vous montrer comment implémenter un effet de non-déterminisme angélique (par exemple l'opérateur `amb`) directement en OCaml, en utilisant seulement de l'état modifiable et
des exceptions. Cette implémentation peut s'étendre pour obtenir les continuations délimitées.

Place : Inria de Paris- 2 rue Simone Iff- 75012 - 10h30

Guest(s) : Gabriel Scherer, Inria Saclay

Keywords:

Home > Centre > Paris > Calendar > Séminaire Gallium

lire la suite

Prix et distinction

Cezara Dragoi, ANR JCJC laureate

18/05/2018

The JCJC instrument allows project leaders to develop, independently, work on a specific theme. It promotes responsibility and the capacity for scientific innovation.

Keywords:

Home > Centre > Paris > News > Cezara Dragoi, lauréate ANR JCJC

More

Francis Bach - © Inria / photo C. Morel

Prize and Award

Francis Bach, winner of the Lagrange Prize

25/07/2018

Early July, the 6th Lagrange Prize in Continuous Optimization was awarded to Francis Bach, head of the Sierra team at the Inria Paris centre, and to two of the team's former post-doctoral researchers. 

Keywords:

Home > Centre > Paris > News > Francis Bach lauréat du prix Lagrange

More

© 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:

Home > Centre > Paris > Calendar > Séminaire Gallium

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:

Home > Centre > Paris > Calendar > Séminaire Prosecco

lire la suite

Top