There are 7 Results with the keyword : "europe"
Christine Morin, directrice de recherche Inria
Prize
Christine Morin, laureate of the “Étoiles de l’Europe”’s prize
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
Symposium
EIT ICT Labs Symposium on Future Cloud Computing
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
European Research Council 2014
Democratizing Proof Assistants
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
Project - Europe
Bringing Automated Test Generation to DevOps
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
Europe - Research
Mastering Non-Functional Properties of Software: Energy, Time, Security
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é
Pepper, humanoïde robot
-
© Inria / Photo C. Morel
Horizon 2020
Helping Robots Gently Navigate Through Thick Crowds
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
Inria Research Centers
- Rennes (7)
