There are 88 Results with the keyword : "europe"
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”.
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
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.
The Pharo core team organises a Pharo Conference hosted at Inria Lille Nord Europe research center.
Place : Inria Lille - Nord Europe research center
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)
Europe et International
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.
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.
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.
European Research Council 2014
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.