Sites Inria

English version

A la une

Inria Learning Lab

Reprise du MOOC sur l'accessibilité numérique

14/05/2018 au 9/07/2018

Le MOOC « Accessibilité Numérique » sera de nouveau disponible sur la plate-forme France Université Numérique dès le 14 mai 2018 . Il sera enseigné par Pascal Guitton (professeur d'informatique, université de Bordeaux - Inria) et Hélène Sauzéon (professeur de psychologie, université de Bordeaux - Inria).

Lieu : FUN

Intervenant(s) : Pascal Guitton, Hélène Sauzéon

Mots-clés :

lire la suite

Conférence CMWR 2018

Conférence

Conférence internationale CMWR 2018

3/06/2018 au 7/06/2018

Du 3 au 7 juin 2018, se tiendra la 22ème édition de la conférence internationale CMWR à Saint-Malo, au Palais du Grand Large. Cet évènement est co-organisé par Inria, l’Université de Rennes 1 et le CNRS.

Lieu : Palais du Grand Large, Saint-Malo

Mots-clés :

lire la suite

Evènement

SMF 2018

4/06/2018 au 8/06/2018

Le deuxième congrès national de la Société mathématique de France se tiendra du 4 au 8 juin 2018 à Lilliad sur le campus de la Cité scientifique à Villeneuve d'Ascq. Le centre Inria Lille - Nord Europe est partenaire de l'événement.

Lieu : Lilliad, Cité scientifique Villeneuve d'Ascq

Mots-clés :

lire la suite

apvp © Inria / Photo G. Scagnelli

Conférence

Atelier sur la Protection de la Vie Privée (APVP)

4/06/2018 au 6/06/2018

La 9ème édition de l’Atelier sur la Protection de la Vie Privée (APVP 2018) est organisée cette année par les équipes Indes et Privatics d’Inria et du GT Privacy du pré-GDR CNRS « Sécurité Informatique ». Elle se déroulera du 4 au 6 juin à Porquerolles (France).

Lieu : Porquerolles, France

Intervenant(s) : Theodore Christakis (Université Grenoble Alpes, Institut Universitaire de France. Directeur adjoint du Grenoble Alpes Data Institute)

Mots-clés :

Lire la suite

Conférence ECSCW 2018 - C.Ignat

Conference

Conference ECSCW 2018

4/06/2018 au 8/06/2018

La conférence ECSCW se déroulera à Inria Nancy du 4 au 8 juin 2018. Elle est la conférence annuelle européenne sur la thématique CSCW et fusionne à partir de 2018 avec la conférence COOP .

Lieu : Inria Nancy Grand Est

Intervenant(s) : Valérie Issarny (Inria), Antonio Casilli (Télécom ParisTech)

Mots-clés :

lire la suite

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.

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

Intervenant(s) : Simon Boulier (Inria Nantes)

Mots-clés :

lire la suite

© INRIA Sophie Auvin - M comme Multimédia

Conférence scientifique

Rencontres Inria-LJLL en calcul scientifique

4/06/2018

Les Rencontres ont pour but de présenter les dernières avancées dans le calcul scientifique, la modélisation et l’analyse numérique, ainsi que de rassembler les communautés académiques et industrielles intéressées par ces domaines. Les présentations comporte une partie explicative des méthodes, compréhensible par la plupart, et une partie plus spécialisée, contenant également des résultats numériques. Les Rencontres résultent de la fusion du Séminaire Modélisation et Calcul Scientifique du centre Inria de Paris et le Groupe de travail ‹‹ Méthodes Numériques ›› du Laboratoire Jacques-Louis Lions de l’Université Paris 6 (UPMC).

Lieu : Inria de Paris - 2 rue Simone Iff - 75012 Paris - Bât C salle J.L. Lions 11H00

Intervenant(s) : Antoine Strugarek, CEA Paris Saclay

Mots-clés :

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.

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

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

Mots-clés :

lire la suite

Haut de page

Suivez Inria