Sites Inria

Il y a 40 Résultats avec le mot clé : "ERC"

Robot Article Nature

Recherche

Des robots qui s'adaptent aux dommages en quelques minutes

Laurence Goussu - 28/05/2015

Les robots pourraient aider notre société dans de nombreuses situations, par exemple pour chercher des survivants après des catastrophes naturelles ou pour alerter les pompiers en cas de feu de forêt. Néanmoins, ils resteront cantonnés aux laboratoires de recherche tant qu’ils ne seront pas capables de continuer à fonctionner lorsqu’ils sont endommagés. Des chercheurs de l’Institut des systèmes intelligents et de robotique (CNRS/UPMC) et du Laboratoire lorrain de recherche en informatique et ses applications (CNRS/Inria/Université de Lorraine) montrent comment des robots peuvent automatiquement s’adapter aux dommages en moins de deux minutes. Leurs résultats sont publiés dans Nature le 28 mai 2015.

Mots-clés :

Accueil > Actualité > Médiacenter > Des robots qui s'adaptent aux dommages en quelques minutes

Lire la suite

European Research Council

Une bourse ERC pour Steve Kremer

Marie Blanchard - 23/01/2015

Mots-clés :

Accueil > Centre > Nancy > Actualités > Une bourse ERC pour Steve Kremer

Lire la suite

Logo ERC

Présentation - Projets ERC

Demi-journée présentation ERC 2012

13/09/2011

Cet événement ciblera les Appels à proposition ERC 2012 “Starting Independent Researcher Grant”, “Advanced Investigator Grant” et "ERC Proof of Concept".

Lieu : Centre de recherche Inria Rennes - Bretagne Atlantique, salle Michel Métivier

Mots-clés :

Accueil > Centre > Rennes > Agenda > Demi-journée présentation ERC 2012

lire la suite

Recherche

Des robots qui s’adaptent aux dommages en quelques minutes

27/05/2015

Les robots pourraient aider notre société dans de nombreuses situations, par exemple pour chercher des survivants après des catastrophes naturelles ou pour alerter les pompiers en cas de feu de forêt. Néanmoins, ils resteront cantonnés aux laboratoires de recherche tant qu’ils ne seront pas capables de continuer à fonctionner lorsqu’ils sont endommagés. Des chercheurs de l’Institut des systèmes intelligents et de robotique (CNRS/UPMC) et du Laboratoire lorrain de recherche en informatique et ses applications (CNRS/Inria/Université de Lorraine) montrent comment des robots peuvent automatiquement s’adapter aux dommages en moins de deux minutes. Leurs résultats sont publiés dans Nature le 28 mai 2015.

Mots-clés :

Accueil > Recherches > Actualités > Des robots qui s’adaptent aux dommages en quelques minutes

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

Recherche

European Research Council (ERC)

21/07/2016

Le Conseil européen de la recherche (CER) ou European Research Council  (ERC) récompense chaque année des chercheurs aux idées novatrices. Ce programme vise ainsi à encourager une « recherche à la frontière de la connaissance » dont l’unique critère de sélection est l’excellence.

Mots-clés :

Accueil > Centre > Paris > Recherche > European Research Council (ERC)

Lire la suite

Journée d'information H2020 European Council Research (ERC)

Journée d'information H2020 ERC

3/06/2016

Une journée d'information H2020 Conseil Européen de la Recherche (ERC) est organisée le 3 juin au Centre de recherche Inria Sophia Antipolis - Méditerranée pour le campus SophiaTech et l'Université Côte d'Azur, en présence des représentantes de Points de Contact Nationaux (PCN), Amélie Antoine AUDO et Marie-Hélène PAUTRAT.

Lieu : Inria Sophia Antipolis - Méditerranée, Amphi Kahn

Intervenant(s) : Gérard Gioraudon, Pierre Alliez, Amélie Antoine Audo, Marie-Hélène Pautrat

Mots-clés :

Accueil > Centre > Sophia > Agenda > Journée d'information H2020 ERC

lire la suite

Anne-Marie Kermarrec © Inria / Photo C. Lebedinsky  © Inria/Lebedinsky

European Research Council 2007

Anne-Marie Kermarrec : systèmes distribués dynamiques à grande échelle

« As scalable as possible » … Au-delà du jeu de mots sur le sigle anglais bien connu, l’équipe-projet ASAP a des objectifs ambitieux. Il s’agit rien de moins que de concevoir les fondements algorithmiques permettant de construire, de manière entièrement décentralisée, en prenant en compte l’ "incertitude" inhérente aux systèmes distribués contemporains, des applications distribuées à grande échelle impliquant un grand nombre de composants géographiquement distants et potentiellement mobiles. Et cela… as soon as possible bien sûr !

Mots-clés :

Accueil > Europe & International > Espace européen de la recherche > Lauréats 2007-2008 > Anne-Marie Kermarrec

Lire la suite

Véronique Cortier © Inria / Kaksonen

European Research Council 2010

Véronique Cortier : sécuriser les protocoles

Olivia Brenner - 25/11/2010

En septembre 2010, Véronique Cortier, directrice de recherche CNRS au sein de l'EPI Cassis d'Inria Nancy-Grand Est a obtenu la bourse ERC dans le cadre de son projet visant à sécuriser les protocoles de communication et les moduler afin de les rendre fiables. Rencontre avec la chercheuse.

Mots-clés :

Accueil > Recherches > Actualités > Véronique Cortier : sécuriser les protocoles

Lire la suite

Karthik Bhargavan

European Research Council 2010

Karthik Bhargavan : prouver la sûreté des applications web

Cécile Michaut - 23/11/2010

Prévenir plutôt que guérir : cet adage médical s’applique aussi à l’informatique. Le jeune chercheur de l’équipe Moscova, Karthik Bhargavan, vient de recevoir une bourse ERC pour poursuivre ses travaux visant à assurer la sûreté de services tels que la gestion de données personnelles et sensibles. Des recherches à la fois théoriques et très appliquées, au sein du laboratoire commun entre Inria et Microsoft Research. Rencontre avec le chercheur.

Mots-clés :

Accueil > Recherches > Actualités > Karthik Bhargavan : prouver la sûreté des applications web

Lire la suite

Haut de page

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