Sites Inria

English version

A la une

Exposition

Exposition ENSTA ParisTech & École Boulle : Rencontre diffractante

20/12/2017 au 9/02/2018

Dessine-moi une onde ! Tel est le point de départ de l'exposition "Rencontre diffractante : Quand la science inspire l'art" organisée par l’École Boulle et l’ENSTA ParisTech et qui se déroule du 20 décembre 2017 au 9 février 2018 dans le grand hall de l'ENSTA ParisTech qui accueille les œuvres des élèves artistes en réponse aux modélisations des mathématiciens de l'unité des mathématiques appliquées.

Lieu : ENSTA ParisTech - 828, Boulevard des Maréchaux, 91762 Palaiseau Cedex

Mots-clés :

lire la suite

Evènement

Evènement Start-up du numérique

23/01/2018

Dans le cadre du Festival Transfo , lancé par French Tech in the Alps , Inria Grenoble - Rhône-Alpes, Gate1 et le Tarmac by inovallée coorganisent une après-midi d’échanges sur les challenges de la vie en start-up numérique.

Lieu : Grand Amphithéâtre, Inria Rhône Alpes, Montbonnot

Mots-clés :

lire la suite

Événement

10ème Forum International de la Cybersécurité (FIC)

23/01/2018 au 24/01/2018

Le Forum International de la Cybersécurité s’inscrit dans une démarche de réflexions et d’échanges visant à promouvoir une vision européenne de la cybersécurité. Dans la continuité du marché unique numérique et du projet de règlement sur la protection des données personnelles, le FIC est l’évènement européen de référence réunissant tous les acteurs de la confiance numérique. Vous pourrez découvrir l’excellence d’Inria dans ce domaine en visitant notre stand localisé sur l’espace Recherche – Allistene, l’alliance des sciences et technologies du numérique.

Lieu : Lille Grand Palais

lire la suite

Démo Découverte commentée

Festival Transfo : habitat intelligent

23/01/2018

Mardi 23 Janvier, Dans le cadre du Festival Transfo, venez découvrir la transformation induite par le numérique des habitats à travers la plateforme d'expérimentation Amiqual4Home.

Lieu : Atelier Numérique, 51 avenue Jean Kuntzmann 38330 Montbonnot-Saint-Martin

Intervenant(s) : Stan BORKOWSKI

Mots-clés :

lire la suite

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

23/01/2018

In the formal-methods world, the hardware industry's use of formal verification is often touted as quite advanced compared to the state of practice in software.  The claim seems to be true, but software-verification specialists might be surprised at how weak are the theorems that tend to be proved about hardware.  

In this talk, I will present our Kami framework for the Coq proof assistant, which applies to digital-hardware verification the sorts of functional-correctness techniques that are well-known in the programming-languages community, with some twists.

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

Intervenant(s) : Adam Chlipala

Mots-clés :

lire la suite

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

Société informatique de France

Congrès SIF 2018

31/01/2018 au 1/02/2018

Le congrès SIF « L’informatique au carrefour des sciences » , aura lieu à Paris les 31 janvier et 1er février 2018 en partenariat avec le Palais de la découverte, le CNRS INS2I et Inria.

Lieu : Palais de la Découverte, Université Pierre et Marie Curie

Mots-clés :

lire la suite

Évènement

Voeux de la directrice et cours extérieur de Gérard Berry du Collège de France

31/01/2018

Le centre Inria Lille - Nord Europe reçoit Gérard Berry, du Collège de France pour son cours sur la photographie numérique. Ce cours se prolongera par un séminaire de Stéphane Huot, responsable de l'équipe Loki. Cette manifestation sera suivie d'un cocktail au cours duquel Isabelle Herlin, directrice du centre de recherche Inria Lille - Nord Europe présentera ses voeux. Inscription gratuite mais obligatoire.

Lieu : Lilliad, Campus Université Lille - sciences et technologies - 2 avenue Jean Perrin, Villeneuve d'Ascq

Mots-clés :

lire la suite

Evénement

Paris Sciences et Data

1/02/2018

Chaque édition réunit autour d’un domaine d’application un chercheur en science des données, un chercheur dont la discipline est touchée par ses récentes avancées ainsi qu’une entreprise innovante du domaine qui introduisent un débat par trois courtes présentations.

L’événement se clôture par un cocktail de networking  .

Lieu : École Nationale des Chartes - 65 Rue de Richelieu, 75002 Paris – Salle Delisle de 17h00 à 19h00

Intervenant(s) : Josef Sivic, directeur de recherche Inria - Marc Smith, professeur à l'École Nationale des Chartes - Charles Ollion, cofounder & Head of Research at Heuritech

Mots-clés :

lire la suite

Colloque

Colloque Maurice Nivat

6/02/2018

Maurice Nivat, professeur à l'université Paris Diderot et pionnier de l'informatique fondamentale en France et dans le monde, nous a quittés le 21 septembre 2017. L'IRIF (Institut de Recherche en Informatique Fondamentale) lui rend hommage en organisant une journée scientifique en février 2018.

Lieu : Amphithéâtre Buffon de l'Université Paris Diderot, 15 Rue Hélène Brion, 75013 Paris

Mots-clés :

lire la suite

Haut de page

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