Equipe-projet LARSEN Autonomie et interaction au long cours pour des robots en environnements potentiellement sensorisés
Equipe-projet PASTA Processus Aléatoires Spatio-Temporels et Applications PASTA Processus Aléatoires Spatio-Temporels et leurs Applications PASTA est une équipe de recherche...
Equipe-projet PESTO Techniques de Preuves pour les Protocoles de Sécurité L'objectif de l'équipe PESTO est de concevoir des modèles et techniques pour l'analyse et la...
Equipe-projet PIXEL Structurer des formes géométriques PIXEL est une équipe de recherche en traitement numérique de la géométrie. Plus spécifiquement, nous...
Equipe-projet SEMAGRAMME Analyse Sémantique de la Langue Le but du projet Sémagramme est la définition et le développement de modèles, méthodes et outils...
Equipe-projet VERIDIS Modeling and Verification of Distributed Algorithms and Systems L'équipe projet VeriDis est commune au centre de recherche Inria Nancy–Grand Est, le Max-Planck...
22–28 novembre 2024 Communication / Événement Semaine internationale de la robotique à Nancy Lieu : centre des Congrès Prouvé, Nancy
26 juin – 6 juillet 2024 Communication / Événement La quinzaine internationale de la logique et du raisonnement automatique se tiendra à Nancy ! Lieu : Centre Inria de l'Université de Lorraine
© Photo de Patrick Tomasso sur Unsplash Open science/Open Access LibScience, ouvrir et partager la connaissance 06/02/2024
© Blender Foundation / Inria Informatique graphique La petite histoire d’une technique de création 3D très novatrice 15/11/2023
CC BY 2.0 DEED – S. Kaech, G. Banker, OHSU, Oregon, USA. Neurosciences La diversité neuronale, un antidote possible contre les maladies neurologiques 25/10/2023
Opensource/Logiciel libre La bibliothèque logicielle open source CGAL fait entrer la recherche en géométrie algorithmique dans l'industrie 09/10/2023