Sites Inria

English version

A la une

© Inria / WIMMICS

Inria Learning Lab

Deux Mooc sur les technologies du Web

4/02/2019 au 2/02/2020

Inria Learning Lab ouvre deux Mooc sur les technologies du Web jusqu'en 2019. L’un, en français, a pour objectif de former aux standards du Web de données et du Web sémantique ; l’autre, en anglais, propose une introduction aux standards des données liées et aux principes à l’origine de la création du Web sémantique.

Lieu : Plate-forme FUN

Intervenant(s) : Fabien Gandon, Olivier Corby et Catherine Faron-Zucker

Mots-clés :

lire la suite

Textiles 3D Exposition Textiles 3D au Musée d'ethnographie de l'université de Bordeaux - © Adobe Stock

Exposition

Textile(s) 3D au Musée d'ethnographie de Bordeaux

1/10/2019 au 29/05/2020

Le Musée d'ethnographie de l'université de Bordeaux (MEB) présente une nouvelle exposition intitulée "Textile(s) 3D : comment améliorer la diffusion et la conservation du patrimoine ancien ?" qui restitue le projet Material* (Micro geometry Approach of Texture ReproductIon for Artistic Legacy ) financé par l’Agence nationale de la recherche et issu des travaux de deux équipes-projets des centres Inria Bordeaux - Sud-Ouest et Grenoble - Rhône-Alpes. L'exposition sera visible du 1er octobre 2019 au 29 mai 2020.

Lieu : Musée d’ethnographie de l’Université de Bordeaux

lire la suite

Évènement

4ème séminaire humAIn : IA et Retail-Logistique

23/10/2019

Rendez-vous le mercredi 23 octobre à Polytech Lille pour le quatrième séminaire scientifique de humAIn : IA, optimisation et retail - logistique .

Lieu : Polytech Lille, avenue Paul Langevin - 59655 Villeneuve d'Ascq

Mots-clés :

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

23/10/2019

Indexed inductive types are a feature of most languages based on dependent types. So far, they have only been described as schematic extensions of a type theory or as being instances of the very semantically oriented definition of (indexed) W-types. 

Lieu : Salle Jacques Louis Lions 2

Intervenant(s) : Jakob von Raumer (University of Nottingham)

Mots-clés :

lire la suite

Haut de page

Suivez Inria