Sites Inria

English version

A la une

Archéologie : imagerie numérique et 3D

Evènement

Séminaire scientifique et technique: Archéologie, Imagerie numérique et 3D

26/06/2018 au 19/01/2038

Les 26 et 27 juin prochain, Inria, l’Inrap et l’IRISA organisent le séminaire scientifique et technique « Archéologie: Imagerie numérique et 3D », Espace Conférences du centre Inria Rennes - Bretagne Atlantique. Cet évènement présentera des réflexions sur l’utilisation des méthodes et technologies numériques non destructives (d’acquisition comme la tomodensitométrie ou la photogrammétrie, d’interaction comme la Réalité Virtuelle) dans le processus d’étude, d’analyse, d’enregistrement et de diffusion des données archéologiques et patrimoniales.

Lieu : Espace Conférences Inria - Inria Rennes - Bretagne Atlantique

Mots-clés :

lire la suite

© INRIA Sophie Auvin - P comme Protocole

Séminaire des équipes de recherche

Séminaire Prosecco

24/07/2018

Bringing the benefits of gradual typing to a language with parametric polymorphism like System F, while preserving relational parametricity, has proven extremely challenging: first attempts were formulated a decade ago, and several recent developments have been published in the past year.

Lieu : Inria de Paris - 2 rue Simone IFF 75012 - Batiment C- Salle Lions 2

Intervenant(s) : Éric Tanter (University of Chile)

Mots-clés :

lire la suite

Conférence

Grands réseaux aléatoires et marches contraintes

27/08/2018 au 28/08/2018

Cette conférence célébrant les 75 ans de Guy Fayolle aura lieu les 27 et 28 août 2018 sur le campus de Dijon de l’université de Bourgogne.

Lieu : Université de Bourgogne, Dijon

Mots-clés :

lire la suite

Ecole d'été

UniGR VTSA Summer School 2018

27/08/2018 au 31/08/2018

L'école d'été sur la technologie, les systèmes et les applications de vérification aura lieu dans le centre du 27 au 31 août 2018.

lire la suite

Grand Place © Maxime Dufour Grand Place © Maxime Dufour

Évènement

ABPDE III

28/08/2018 au 31/08/2018

La 3eme édition de la conférence internationale ABPDE III se tiendra du 28 au 31 août à Lilliad sur le campus de la cité scientifique à Villeneuve d'Ascq. Cette conférence est co-organisée par l'équipe Rapsodi.

Lieu : Lilliad, cité scientifique à Villeneuve d'Ascq

Mots-clés :

lire la suite

Évènement

ESUG 2018

10/09/2018 au 14/09/2018

La conférence ESUG se tiendra du 10 au 14 septembre à Cagliari en Italie. Cette conférence est co-organisée par l'Université de Cagliari et l'équipe RMOD.

Lieu : Université de Cagliari, Italie

Mots-clés :

lire la suite

Beffroi de Lille © maxime dufour photographies

Évènement

CASC 2018

17/09/2018 au 21/09/2018

Le 20e workshop international Computer Algebra in Scientific Computing se tiendra à Lille du 17 au 21 septembre 2018 à Lilliad sur le campus cité scientifique. Ce workshop co-organisé par l'institut de Mathématique de l'Université de Kassel et l'Université de Lille. Les membres de l'équipe Gaïa font partis des organisateurs locaux.

Lieu : Lilliad, cité scientifique, Villeneuve d'Ascq

Mots-clés :

lire la suite

Conférence

Conférence : Intelligence Artificielle

20/09/2018

L'Intelligence Artificielle (IA) est un domaine de recherche multi-disciplinaire, à l'interface de l'informatique, des mathématiques appliquées et des sciences cognitives. L'objet de l'IA est la mécanisation de tâches qui requièrent des connaissances et des capacités de perception, de raisonnement et de prise de décision. Ce domaine, encore jeune bien que sexagénaire, a fait beaucoup de progrès dont il est fréquemment question dans les médias, parfois avec exagération sur ses possibilités et dangers.

Lieu : IUT Charlemagne

Intervenant(s) : Malik Ghallab

lire la suite

Symposium

Symposium jeunes chercheurs

24/09/2018 au 25/09/2018

Le symposium des jeunes chercheurs en mathématiques de la Grande Région se déroulera dans le centre du 24 au 25 septembre 2018.

lire la suite

Évènement

VECoS 2018

26/09/2018 au 28/09/2018

VECoS 2018 est la 12ème édition de la conférence internationale « Verification and Evaluation of Computer and Communication Systems ».   Elle se tiendra du 26 au 28 septembre à Grenoble. Simon Bliudze de l'équipe Spirals est program co-chair.

Lieu : Université Grenoble Alpes

Mots-clés :

lire la suite

Haut de page

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