Sites Inria

English version

A la une

Evénement

Salon Culture et Jeux Mathématiques

27/05/2017 au 30/05/2017

Comme chaque année, le centre Inria de Paris participe au salon culture et jeux mathématiques. La 18e édition aura pour thème "Mathématiques et Langage" sous le haut parrainage de Stanislas Dehaene, directeur de l'unité de neuro-imagerie cognitive au centre NeuroSpin de Saclay . Le salon proposera des animations tout public, des conférences, des rencontres autour des mathématiques et de leur histoire. 

Lieu : Place Saint-Sulpice – Paris 6ème

Mots-clés :

lire la suite

© INRIA Sophie Auvin - A comme Algorithme

Séminaire des équipes de recherche

Séminaire Aost2

2/06/2017

This presentation introduces Chisel, a tool that synthesizes a program slicer directly from a given algebraic specification of a programming language operational semantics.

Lieu : Inria de Paris, BâtimentC, Salle C234 - 14h00

Intervenant(s) : Irina-Mariuca Asavoae

Mots-clés :

lire la suite

Haut de page

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