Sites Inria

Il y a 3 Résultats avec le mot clé : "Nantes"

Conférence fOSSa 2015

Événement - Openness

fOSSa 2015 à Nantes

Jean-Michel Prima - 7/09/2015

Créée par Inria, fOSSa est une conférence où les scientifiques viennent présenter les derniers développements en matière d'open source . La septième édition se déroule à Nantes, du 23 au 25 septembre 2015. Comme l'explique, son coordinateur, Stéphane Ribas, l'événement offre l'occasion de découvrir en primeur les dernières tendances issues d'un écosystème luxuriant.

Mots-clés :

Accueil > Centre > Rennes > Actualités > fOSSa 2015 à Nantes

Lire la suite

Nicolas Tabareau

European Research Council 2014

Nicolas Tabareau : démocratiser les assistants de preuve

Jean-Michel Prima - 10/02/2015

Les assistants de preuve visent à prouver les théorèmes mais aussi la correction des programmes informatiques. Fruit de vingt-cinq ans de recherches par Inria, Coq est aujourd'hui l'un des logiciels en pointe dans le domaine. Toutefois, une percée en mathématique signée par le médaillé Fields Vladimir Voevosdky pourrait ouvrir la voie à un énorme progrès de la vérification formelle. Chercheur chez Inria, Nicolas Tabareau vient de se voir octroyer une bourse du Conseil Européen de la Recherche (ERC) pour étudier comment cette découverte pourrait se concrétiser dans une version très novatrice de Coq. Comme il l'explique, ce travail devrait avoir un impact très fort et amener l'industrie à adopter cet outil de preuve.

Mots-clés :

Accueil > Centre > Rennes > Actualités > Nicolas Tabareau : démocratiser les assistants de preuve

Lire la suite

Adrien Lèbre

Recherche

Ramener le calcul et le stockage au plus près de l'utilisateur

Jean-Michel Prima (*) - 20/09/2018

Nouvelle équipe dirigée par Adrien Lebre à Nantes, Stack s'attelle à redéfinir les infrastructures de l'informatique en nuage. Objectif : relocaliser les centres de données afin de répondre aux nouvelles contraintes de latence des nouveaux usages (réalité augmentée, Internet des objets…) tout en essayant d’en minimiser l’impact énergétique. Pour orchestrer cette transition du cloud vers l'edge computing , académiques et industriels  s'appuient sur des projets open source conséquents, tels que l’écosystème OpenStack supporté par une communauté de plus de 1 500 développeurs et développeuses habituel.le.s.

Mots-clés :

Accueil > Centre > Rennes > Actualités > Ramener le calcul et le stockage au plus près de l'utilisateur

Lire la suite

Haut de page

Suivez Inria