Sites Inria

English version

A la une

MOOC

Un MOOC sur la protection de la vie privée dans le monde numérique

29/01/2018 au 26/03/2018

Internet et smartphones accompagnent notre vie quotidienne et nous facilitent de nombreuses tâches. Si certains succès des nouvelles technologies sont indéniables, il existe une contre-partie : nous sommes devenus des producteurs de données, convoitées par de nombreuses sociétés ou agences étatiques.

Lieu : FUN

Intervenant(s) : Cédric Laradoux et Vincent Roca

Mots-clés :

lire la suite

Affiche MOMI2018 Affiche MOMI2018 - Inria

MOMI2018

26/02/2018 au 27/02/2018

Le but de MOMI2018 est de permettre aux jeunes chercheurs de découvrir le lien entre le monde industriel et les mathématiques appliquées et de se familiariser avec les opportunités offertes par celui-ci.

Lieu : Inria, Sophia Antipolis, Bâtiment Kahn

Mots-clés :

lire la suite

Station F

Hugo Talbot anime un TechTalk à Station F sur la plate-forme SOFA

27/02/2018

Dans le cadre de ses actions de sensibilisation aux technologies innovantes développées en son sein, Inria organise chaque mois des TechTalks  sur le site de Station F. L’objectif est de présenter ces technologies afin de promouvoir et accompagner le développement de partenariats et d’actions de transfert vers les entreprises, en particulier les start-up installées sur le site.

Lieu : French Tech Central / Station F

Intervenant(s) : Hugo Talbot

Mots-clés :

lire la suite

B. Raffin Résultats de simulation - © Inria / Photo C. Morel

Conférence ISN 2018

Des besoins en calcul de plus en plus performant

28/02/2018

Lieu : Inria - Montbonnot Saint Martin

Intervenant(s) : Bruno Raffin

Mots-clés :

lire la suite

© Africa Studio - Fotolia.com

Conférence ISN 2018

Optimisation et incertitudes sont-elles compatibles ?

28/02/2018

Lieu : Inria - Montbonnot Saint Martin

Intervenant(s) : Bruno Gaujal

Mots-clés :

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

5/03/2018

Static analyses aim at inferring semantic properties of programs. While many analyses compute an over-approximation of reachable states, some analyses compute a description of the input-output relations of programs. In the case of numeric programs, several analyses have been proposed that utilize relational numerical abstract domains to describe relations.

Lieu : Inria de Paris- 2 rue Simone Iff- 75012

Intervenant(s) : Hugo Illous- ENS

Mots-clés :

lire la suite

La Grande Jonction

7/03/2018

La Grande Jonction 2018 vous donne rendez-vous mercredi 7 mars au Palais des Congrès de Bordeaux, sur le thème de l’intelligence artificielle et de la robotique humanoïde. Vous y retrouverez des chercheurs du centre Inria Bordeaux — Sud-Ouest.

Lieu : Palais des congrès de Bordeaux

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

12/03/2018

We present the design of a new functional programming language, MLTS, that possesses built-in mechanisms for treating data structures that include bindings.

Lieu : Inria Paris - 2 rue Simone Iff- 75012 - Paris- Salle Lions 1- bâtiment C

Intervenant(s) : Ulysse Gérard ( Inria Saclay)

Mots-clés :

lire la suite

IT-SECURITY DAY - © Cispa

RII

Rencontre sur la cybersécurité et l'industrie

14/03/2018

La prochaine rencontre sur la cybersécurité et l'industrie organisée avec nos partenaires académiques et industriels de France et d'Allemagne se déroulera cette année au centre des congrès de Saarbruecken le 14 mars prochain. Le Cispa se charge de l'organisation de l'édition 2018 en partenariat avec le centre Inria de Nancy - Grand Est.

Lieu : Saarbruecken, Allemagne

Mots-clés :

lire la suite

© Inria / Photo C. Morel

École d'hiver

2nd ARVI COST School on Runtime Verification

18/03/2018 au 23/03/2018

Inria organise la deuxième édition de l'école RV SUMMIT ,  à Praz sur Arly du 18 au 23 mars 2018.

Cette école s'adresse à des étudiants en thèse, des postdoctorants, et des chercheurs abordant le thème de la runtime verification , mais également des industriels, qui auront une belle opportunité de rencontrer et échanger avec les membres actifs de ce thème de recherche.

Mots-clés :

lire la suite

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !