Sites Inria

Il y a 87 Résultats avec le mot clé : "Gallium"

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherce

Séminaire Gallium

1/10/2018

The Bindlib library provides a set of tools for the manipulation of structureswith variable binding. It is very well suited for the representation of syntax trees, and has already been used for the implementation of several programming . languages and proof assistants (including a new version of the Dedukti logical
framework).

Lieu : Inria de Paris - 2 rue Simone Iff 75012 - Batiment C - Salle Lions 1

Intervenant(s) : Rodolphe Lepigre

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

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

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

18/06/2018

Arguments about linearizability of a concurrent data structure are typically carried out by specifying the linearization points of the data structure's procedures.

Lieu : Inria de Paris, 2 rue Simone Iff, 75012 Paris, bâtiment C, salle J.L. Lions 1 - 14h00

Intervenant(s) : Germán Delbianco (IRIF)

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

Séminaire

Séminaire Gallium

15/11/2018

SÉMINAIRE GALLIUM 

"Google"

Martin Abadi

15/11/2018 à 10h30

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

Intervenant(s) : Martin Abadi

Mots-clés :

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

lire la suite

© Inria / Photo G. Maisonneuve

Prix

Les lauréats des Prix Inria 2018

Laurence Goussu - 10/12/2018

Pour la 8e année consécutive, Inria, l’Académie des sciences et Dassault Systèmes mettent à l’honneur des chercheurs ayant apporté une contribution majeure dans le domaine des sciences du numérique. Les travaux des lauréats 2018 des Prix Inria illustrent l’impact du numérique et l’interdisciplinarité avec cette année des projets dans les domaines de la sécurité des logiciels, de l’éducation et de la santé. Deux prix récompensent également des personnels d’Inria pour leur implication dans le rayonnement de l’Institut, avec des projets transversaux.

Mots-clés :

Accueil > Actualité > Médiacenter > Les lauréats des Prix Inria 2018

Lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

9/05/2016

Lieu : 2 rue Simone Iff, 75012 Paris (ou: 41 rue du Charolais) - Salle Jacques-Louis Lions 1, bâtiment C

Intervenant(s) : Pierre-Évariste Dagand, Sorbonne Université, CNRS, Inria, LIP6

Mots-clés :

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

lire la suite

Haut de page

Suivez Inria