Sites Inria

Il y a 254 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

Haut de page

Suivez Inria