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

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

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

Intervenant(s) : Brigitte Pientka (McGill University)

Mots-clés :

lire la suite

Haut de page

Suivez Inria