There are 88 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
Partnerships
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.
Keywords:
Conference
Pharo Conference
The Pharo core team organises a Pharo Conference hosted at Inria Lille Nord Europe research center.
Place : Inria Lille - Nord Europe research center
Keywords:
Home > Innovation > Calendar > Conférence Pharo
Workshop
BIS'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)
Keywords:
Europe et International
IceSL makes 3D printing simple
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.
Keywords:
Home > Centre > Nancy > News > IceSL facilite l'impression 3D
Partnership
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.
Keywords:
Home > News > News from Inria > CWI et Inria signent un accord de partenariat
Research
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.
Keywords:
Home > Centre > Paris > News > EPI Alpage : historiens et informaticiens réunis dans le projet européen Parthenos
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