Sites Inria

There are 88 Results with the keyword : "europe"

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


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”.


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



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


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

lire la suite

Europe - ICT

FITT conference


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


Home > Centre > Rennes > Calendar > FITT conference

lire la suite


An increasingly wide network of partners

The Inria Rennes - Bretagne Atlantique research centre is involved in the establishment of the European research area and develops numerous European and international scientific and academic collaborations.


Home > Centre > Rennes > Research > Politique partenariale



Pharo Conference

24/05/2012 to 25/05/2012

The Pharo core team organises a Pharo Conference hosted at Inria Lille Nord Europe research center.

Place : Inria Lille - Nord Europe research center


Home > Innovation > Calendar > Conférence Pharo

lire la suite



8/06/2016 to 10/06/2016

The 6th Inria@SiliconValley workshop  will takes place in Paris on June 8-10, 2016 in Paris and  co-located with the Futur en Seine Festival, offers a one-day international conference on “Digital sciences and technologies for health”.

Place : Paris - Centre de Recherche Inria de Paris et Mairie du 3ème arrondissement (Futur en Seine)


Home > News > Calendar > BIS'2016

lire la suite


Europe et International

IceSL makes 3D printing simple

Marine Loyen - 3/12/2015

In 2012, Sylvain Lefebvre, a Research Associate working in the ALICE team at the Inria Nancy - Grand Est Research Centre, obtained a five-year European Research Council (ERC) grant to develop systems to make 3D printing more accessible. Together with one of his doctoral researchers, Jérémie Dumas, he presents IceSL, a software tool incorporating many innovations.


Home > Centre > Nancy > News > IceSL facilite l'impression 3D



CWI and Inria sign partnership agreement


Centrum Wiskunde & Informatica (CWI) and Inria have signed a partnership agreement at the festive 70th anniversary of CWI in Amsterdam. Inria invited CWI to set up an Inria International Lab (IIL) together. The purpose of such Inria International Labs is to fund and develop partnerships and collaborative research with international first-class institutions. Inria regards CWI as being one of the best players in the field internationally and has thus selected the institute as a long-term strategic partner.


Home > News > News from Inria > CWI et Inria signent un accord de partenariat



Inria’s Alpage project team: historians and computer scientists unite in the European Parthenos project


Laurent Romary is a computer scientist specialising in automatic analysis of language. Marie Puren has a doctorate in history and a masters in “digital humanity”. The two researchers are members of the Alpage team at Inria's Paris centre and have been working together for eleven months as part of the European Parthenos project which seeks to develop and promote digital processing of data in the human sciences. Both of them emphasize the importance of interdisciplinarity in their work.


Home > Centre > Paris > News > EPI Alpage : historiens et informaticiens réunis dans le projet européen Parthenos


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.


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