Sites Inria

English version

A la une

ORAP

Évènement

39e Forum ORAP

28/03/2017

Le 28 mars prochain, se déroulera au CNRS Michel-Ange à Paris, la 39e édition du Forum ORAP. Au programme : "Architectures émergentes et futures pour le HPC dans le Monde" et "Entrées-sorties et stockage pour le HPC".

Lieu : CNRS Michel-Ange - Paris

Mots-clés :

lire la suite

Événement scientifique

Séminaire du Laboratoire Spécification et Vérification avec Bruno Barras

28/03/2017

Le mardi 28 mars 2017 à 11h00 aura lieu un séminaire organisé par le Laboratoire Spécification et Vérification (LSV) de l'ENS Paris-Saclay.
Bruno Barras (École polytechnique - Laboratoire d'Informatique de l'École polytechnique) fera un exposé intitulé "A formal set-theoretical model of Coq and its application to strong normalization"

Lieu : Bâtiment Institut D'Alembert - Auditorium Daniel Chemla

Mots-clés :

lire la suite

Maisons de la Modélisation, Simulation et de l'Optimisation

Inauguration officielle du réseau MSO

28/03/2017

Mardi 28 mars, de 10h à 12h30 est organisée l'inauguration officielle du réseau MSO (maisons de la Modélisation, Simulation et de l'Optimisation) à l'Institut Henri Poincaré, à Paris.

Les maisons de la Modélisation, Simulation et de l'Optimisation (MSO) sont des lieux d'interfaces privilégiées entre le monde industriel et les expertises des laboratoires de mathématiques. Ces structures s'appuyent sur des équipes et des équipements de calcul universitaires partout en France. Afin d'augmenter leur visibilité et de mieux répondre aux attentes des entreprises, elles s'organisent en un réseau national.

Lieu : Institut Henri Poincaré - 11 rue Pierre et Marie Curie, Paris

Mots-clés :

lire la suite

Haut de page

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