Sites Inria

There are 7 Results with the keyword : "H2020"

Idea Challenge

EIT ICT Labs

IDEA Challenge : what is your idea ?

CD - 27/08/2014

After a first successful round last spring, the EU wide contest for innovative start-ups, IDEA Challenge, is back and open from September the 1st to September the 30th. 12 new start-ups will be rewarded by EIT ICT Labs in 4 innovation areas: Cyber Security and Privacy, Internet of Things, Urban Life and Mobility, Smart Energy Systems.

Keywords:

Home > News > News from Inria > Participez au concours Idea Challenge

More

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

Europe

Inria becomes a founding member of ECSO

Léa Angeli - 12/07/2016

The European Cyber Security Organisation (ECSO) was founded recently to promote Europe's cybersecurity market and encourage applied research in the field.

Inria, which already focuses on the cybersecurity, has just joined the organisation as a founding member.

Keywords:

Home > News > News from Inria > Inria devient membre fondateur de l'ECSO

More

European Research Council 2015

Rachid Deriche wins ERC Advanced Grant 2015

Anne Schneider - 27/04/2016

Rachid Deriche, an exceptional grade research director at Inria Sophia Antipolis - Méditerranée, where he heads the ATHENA project team, has been awarded a European Research Council grant in the Advanced category for the CoBCoM project, at the crossroad between mathematics, information technology, and neuroimaging.

ERC Advanced Grants are awarded under the "Excellent Science" pillar of the European Union's Horizon 2020 research and innovation programme, and are attributed to senior researchers recognised as leaders in their field and whose proposal for ground-breaking research has the potential to significantly push back the frontiers of science.

Keywords:

Home > Centre > Sophia > News > Lauréat ERC 2015 : Rachid Deriche

More

© Florence Bertails-Descoubes

European Research Council 2014

Florence Bertails-Descoubes: From a real object to its virtual avatar

Martin Bellet / Citizen Press - 12/12/2014

For the experts in computer animation, simulating the movement of hair and clothing in the most realistic way possible is a more complex problem than it first appears. The work carried out by Florence Bertails-Descoubes in the inverse modelling of irregular dynamic systems could just be the solution they are looking for. She has recently been awarded a Starting Grant by the European Research Council (ERC).

Keywords:

Home > Centre > Grenoble > News > Florence Bertails-Descoubes : de l’objet réel à son avatar virtuel

More

©fotolia/dizain

Research

I-Support project

11/02/2016

Launched as a consortium in March 2015, I-Support aims to design a robotics system to assist elderly people bathe independently. Nine research laboratories and companies are involved in the development of I-Support. The GALEN team at Inria Saclay - Île-de-France Research centre is working on the computer vision for the system.

Keywords:

Home > Centre > Saclay > News > Projet I-Support

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

Top