Sites Inria

There are 7 Results with the keyword : "europe"

Christine Morin, senior researcher Inria Christine Morin, directrice de recherche Inria

Prize

Christine Morin, laureate of the “Étoiles de l’Europe”’s prize

Nathalie Lacaux - 19/12/2014

Christine Morin, research manager at the Inria Rennes – Bretagne Atlantique research center, received the “Étoiles de l’Europe”’s prize last december, 16. This prize reward her implication in an european project called “Contrail, open computing infrastructures for elastic services”.

Keywords:

Home > Centre > Rennes > News > Christine Morin, lauréate des Étoiles de l'Europe

More

Symposium

EIT ICT Labs Symposium on Future Cloud Computing

23/06/2014 to 24/06/2014

The Future Cloud Symposium is your opportunity to take a closer look at the future of Cloud Computing and the new business opportunities in Cloud. It is organized by EIT ICT Labs in Rennes, France, on 23-24 June.

Place : Inria Rennes - Bretagne Atlantique, Convention center

Keywords:

Home > Centre > Rennes > Calendar > EIT ICT Labs Symposium on Future Cloud Computing

lire la suite

Europe - ICT

FITT conference

10/05/2011

Join the FITT conference on ICT technology transfer within the scope of Europe 2010, Innovation Union and Digital Agenda.

Place : Rue Belliard 60-62 / Brussels

Keywords:

Home > Centre > Rennes > Calendar > FITT conference

lire la suite

Nicolas Tabareau

European Research Council 2014

Democratizing Proof Assistants

Jean-Michel Prima - 10/02/2015

Proving theorem and software correctness are the two raisons d'être of proof assistants. Coq, the result of a 25-year project driven by Inria, has become a preeminent tool in this domain. Yet, a recent breakthrough in mathematics by Fields medal Vladimir Voevosdky has opened the door to a huge improvement of formal verification. Inria scientist Nicolas Tabareau is being granted funding by the European Research Council (ERC) in order to explore how this finding could indeed pave the way to a novel and much enhanced version of Coq. As he explains, this work is expected to have a very strong impact and spread the use of this proof assistant across the industry.

Keywords:

Home > Centre > Rennes > News > Nicolas Tabareau : démocratiser les assistants de preuve

More

Benoit Baudry, head of DIVERSE team

Project - Europe

Bringing Automated Test Generation to DevOps

Jean-Michel Prima - 1/12/2016

A powerful software development methodology, DevOps has become a very popular tool in the US for it greatly helps web giants to deliver more frequent updates. True enough, Europe hasn't catch up yet. Coordinated by Inria, STAMP is a consortium whose aim is to provide a critical missing piece to this methodology. To wit: an automated test generation tool that would make DevOps less risky and incidentally more palatable to European companies. This projet has just been selected as part of the EU H2020 call for proposals ICT-10-2016 ‘Software Technologies’.

Keywords:

Home > Centre > Rennes > News > Générer automatiquement des tests dans DevOps

More

Olivier Zendra

Europe - Research

Mastering Non-Functional Properties of Software: Energy, Time, Security

Jean-Michel Prima - 11/09/2018

A European consortium led by Inria and funded by the EU ICT H2020 program, TeamPlay aims at developing new techniques that will allow execution time, energy, security and other important non-functional properties of parallel software to be treated as first-class citizens. As Project Coordinator Olivier Zendra points out, this research is expected to have a significant impact on various sectors of the industry. Results will be evaluated through use cases from various domains such as computer vision, cybersecurity, satellites and drones.

Keywords:

Home > Centre > Rennes > News > Maîtriser les propriétés non fonctionnelles des logiciels : énergie, temps, sécurité

More

Pepper le robot Pepper, humanoïde robot - © Inria / Photo C. Morel

Horizon 2020

Helping Robots Gently Navigate Through Thick Crowds

Jean-Michel Prima (*) - 19/02/2018

With the advance of robotics, a variety of service bots will soon be trundling and treading the public spaces among people going about their daily occupations. Making navigation through human tides safe and smooth is the purpose of Crowdbot, a European consortium led by Inria and funded by the EU ICT H2020 program. As project coordinator Julien Pettré points out, this research places a strong emphasis on ethics.

Keywords:

Home > Europe & International > European research area > List of Inria H2020 projects > Crowdbot - Aider les robots à naviguer dans la foule

More

Top