Sites Inria

Il y a 3 Résultats avec le mot clé : "Seminaire"

Séminaire des équipes de recherche

Séminaire RAP (Réseaux Algorithmes et Probabilités)

21/05/2014

Lieu : Inria Paris - Rocquencourt - Bât. 09 - 11h

Intervenant(s) : Ravi R. Mazumdar - University of Waterloo, Canada

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire RAP (Réseaux Algorithmes et Probabilités)

lire la suite

Séminaire des équipes de recherche

Séminaire de modélisation et calcul scientifique

3/06/2014

Lieu : Amphithéâtre AlanTuring - Bâtiment 1 - 10h

Intervenant(s) : Pierre-Yves Lagrée, CNRS ∂'Alembert UPMC Paris

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire de modélisation et calcul scientifique

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Seminaire des équipes de recheche

Seminaire Prosecco

7/12/2017

A Logical Relation for Monadic Encapsulation of State: Proving contextual equivalences in the presence of runST

Lieu : INRIA - Paris -2 rue Simone Iff - Salle Lions 2, bâtiment C

Intervenant(s) : Amin Timany, KU Leuven

Mots-clés :

Accueil > Centre > Paris > Agenda > Seminaire Prosecco

lire la suite

Haut de page

Suivez Inria