archive-fr.com » FR » I » INRIA.FR

Total: 1610

Choose link from "Titles, links and description words view":

Or switch to "Titles and links view".
  • Overview - Inria
    Saclay Ile de France research centre is head of the organizing committee of this convention to be held on 24th and 25th November 2015 at HEC Paris More Europe International Relations Big Data Value Association European Partnership Partnership between Inria and the EU Big Data Project AB 20 08 2015 Inria joins European Public Private Partnership on Big Data research BDVA created in 2015 More Science news Science events calendar Research fields Find a team International programmes Strategy Partnerships Transfer of technology Recruitment jobs UPMC L Ardhuin Inria Awards 2015 Benoît Perthame Inria French Académie des sciences Grand Prize AB Leading mathematician Benoît Perthame is a key personality in the international scientific community A specialist in kinetic equations he has been a pioneer in the field of bio maths since the 2000s His mathematical modelling of Darwin s theory of evolution his studies on cancer or the organisation of cellular communities all demonstrate his capacity to invent new concepts and develop analysis tools applied to the life sciences More Inria D Grandmougin Inria Awards 2015 Véronique Cortier Inria French Académie des sciences Young Researcher Award AB 24 09 2015 A specialist in network security protocols Véronique Cortier devises solutions today that will make digital life more secure tomorrow Her work includes the development of Belenios an open source voting system She adheres to the credo that trusting one s computer is generally a bad idea More Inria C Tourniaire Inria Awards 2015 Marc Lavielle Inria French Académie des Sciences Dassault Systèmes Innovation Award AB Using statistics as a modern tool in order to better address the major health issues of our time therein lies the challenge that Marc Lavielle has set himself By reconciling high level scientific work and a unique ability to build on industrial partnerships he has succeeded in developing an innovative solution that today benefits the entire pharmaceutical industry More Find a team Innovation news Innovation calendar Partnerships Transfer of technology Inria SMEs Aeronautics defence space security Software publishing embedded system Energy transport sustainable development Health life sciences biotechnology Telecoms networks multimedia Transfer of technology Inria s software assets Inria is the source of many software Below our Key software by sector Discover the software assets on iCOMMUNITY More Pixelshop Fotolia com Inria Industry Meeting Smart City Mobility Innovations Towards environmental and social sustainability 13 04 2015 On Monday 11th May 2015 a new edition of Inria Industry Meetings will be held on the theme of Smart City Mobility Innovations organized by Inria Inria SiliconValley and PRIME More Technology Transfer at Inria Strategic partnerships with large industrial players The strategic partnerships that Inria establishes are long term bilateral partnerships with large industrial groups formalized in a framework agreement A research program is developed jointly by Inria and its partner based on the industrial player s proposed priority topics Research projects fitting into this program are then developed jointly by Inria s teams and the partner In addition a steering committee and a scientific committee ensure that the

    Original URL path: http://www.inria.fr/en/centre/rennes/overview (2015-12-30)
    Open archived version from archive


  • Research - Inria
    on cancer or the organisation of cellular communities all demonstrate his capacity to invent new concepts and develop analysis tools applied to the life sciences More Inria D Grandmougin Inria Awards 2015 Véronique Cortier Inria French Académie des sciences Young Researcher Award AB 24 09 2015 A specialist in network security protocols Véronique Cortier devises solutions today that will make digital life more secure tomorrow Her work includes the development of Belenios an open source voting system She adheres to the credo that trusting one s computer is generally a bad idea More Inria C Tourniaire Inria Awards 2015 Marc Lavielle Inria French Académie des Sciences Dassault Systèmes Innovation Award AB Using statistics as a modern tool in order to better address the major health issues of our time therein lies the challenge that Marc Lavielle has set himself By reconciling high level scientific work and a unique ability to build on industrial partnerships he has succeeded in developing an innovative solution that today benefits the entire pharmaceutical industry More Find a team Innovation news Innovation calendar Partnerships Transfer of technology Inria SMEs Aeronautics defence space security Software publishing embedded system Energy transport sustainable development Health life sciences biotechnology Telecoms networks multimedia Transfer of technology Inria s software assets Inria is the source of many software Below our Key software by sector Discover the software assets on iCOMMUNITY More Pixelshop Fotolia com Inria Industry Meeting Smart City Mobility Innovations Towards environmental and social sustainability 13 04 2015 On Monday 11th May 2015 a new edition of Inria Industry Meetings will be held on the theme of Smart City Mobility Innovations organized by Inria Inria SiliconValley and PRIME More Technology Transfer at Inria Strategic partnerships with large industrial players The strategic partnerships that Inria establishes are long term bilateral partnerships with large industrial groups formalized in a framework agreement A research program is developed jointly by Inria and its partner based on the industrial player s proposed priority topics Research projects fitting into this program are then developed jointly by Inria s teams and the partner In addition a steering committee and a scientific committee ensure that the collaboration is consistent and runs smoothly More Business creation Inria celebrates 30 years of business creation 1984 Inria becomes a shareholder in a first company SIMULOG It was the start of a history of company creation which is still going strong today Today and over the coming months Inria is turning the spotlight on 30 years of exciting entrepreneurial ventures It is an opportunity to remind ourselves that the creation of businesses is one of the areas Inria decided to focus on in its search for economic and societal impact Interview with Antoine Petit managing director of Inria and Eric Horlait Inria s deputy managing director responsible for transfer and industrial partnerships More Overview Research Innovation Home Centre Rennes Research Scientific challenges Our challenges The Inria Rennes Bretagne Atlantique research centre defined three priority scientific topics in the 2008 2012 Inria strategic plan

    Original URL path: http://www.inria.fr/en/centre/rennes/research (2015-12-30)
    Open archived version from archive

  • Innovation - Inria
    with a national scope targeting challenges and opportunities of Big Data including data sciences business potential Nozha Boujemaa Director of the Inria Saclay Ile de France research centre is head of the organizing committee of this convention to be held on 24th and 25th November 2015 at HEC Paris More Europe International Relations Big Data Value Association European Partnership Partnership between Inria and the EU Big Data Project AB 20 08 2015 Inria joins European Public Private Partnership on Big Data research BDVA created in 2015 More Science news Science events calendar Research fields Find a team International programmes Strategy Partnerships Transfer of technology Recruitment jobs UPMC L Ardhuin Inria Awards 2015 Benoît Perthame Inria French Académie des sciences Grand Prize AB Leading mathematician Benoît Perthame is a key personality in the international scientific community A specialist in kinetic equations he has been a pioneer in the field of bio maths since the 2000s His mathematical modelling of Darwin s theory of evolution his studies on cancer or the organisation of cellular communities all demonstrate his capacity to invent new concepts and develop analysis tools applied to the life sciences More Inria D Grandmougin Inria Awards 2015 Véronique Cortier Inria French Académie des sciences Young Researcher Award AB 24 09 2015 A specialist in network security protocols Véronique Cortier devises solutions today that will make digital life more secure tomorrow Her work includes the development of Belenios an open source voting system She adheres to the credo that trusting one s computer is generally a bad idea More Inria C Tourniaire Inria Awards 2015 Marc Lavielle Inria French Académie des Sciences Dassault Systèmes Innovation Award AB Using statistics as a modern tool in order to better address the major health issues of our time therein lies the challenge that Marc Lavielle has set himself By reconciling high level scientific work and a unique ability to build on industrial partnerships he has succeeded in developing an innovative solution that today benefits the entire pharmaceutical industry More Find a team Innovation news Innovation calendar Partnerships Transfer of technology Inria SMEs Aeronautics defence space security Software publishing embedded system Energy transport sustainable development Health life sciences biotechnology Telecoms networks multimedia Transfer of technology Inria s software assets Inria is the source of many software Below our Key software by sector Discover the software assets on iCOMMUNITY More Pixelshop Fotolia com Inria Industry Meeting Smart City Mobility Innovations Towards environmental and social sustainability 13 04 2015 On Monday 11th May 2015 a new edition of Inria Industry Meetings will be held on the theme of Smart City Mobility Innovations organized by Inria Inria SiliconValley and PRIME More Technology Transfer at Inria Strategic partnerships with large industrial players The strategic partnerships that Inria establishes are long term bilateral partnerships with large industrial groups formalized in a framework agreement A research program is developed jointly by Inria and its partner based on the industrial player s proposed priority topics Research projects fitting into this program are

    Original URL path: http://www.inria.fr/en/centre/rennes/innovation (2015-12-30)
    Open archived version from archive

  • Stéphane Ubeda is nominated as the new director of the Inria Rennes Bretagne Atlantique’s research center - Inria
    Europe International Relations Big Data Value Association European Partnership Partnership between Inria and the EU Big Data Project AB 20 08 2015 Inria joins European Public Private Partnership on Big Data research BDVA created in 2015 More Science news Science events calendar Research fields Find a team International programmes Strategy Partnerships Transfer of technology Recruitment jobs UPMC L Ardhuin Inria Awards 2015 Benoît Perthame Inria French Académie des sciences Grand Prize AB Leading mathematician Benoît Perthame is a key personality in the international scientific community A specialist in kinetic equations he has been a pioneer in the field of bio maths since the 2000s His mathematical modelling of Darwin s theory of evolution his studies on cancer or the organisation of cellular communities all demonstrate his capacity to invent new concepts and develop analysis tools applied to the life sciences More Inria D Grandmougin Inria Awards 2015 Véronique Cortier Inria French Académie des sciences Young Researcher Award AB 24 09 2015 A specialist in network security protocols Véronique Cortier devises solutions today that will make digital life more secure tomorrow Her work includes the development of Belenios an open source voting system She adheres to the credo that trusting one s computer is generally a bad idea More Inria C Tourniaire Inria Awards 2015 Marc Lavielle Inria French Académie des Sciences Dassault Systèmes Innovation Award AB Using statistics as a modern tool in order to better address the major health issues of our time therein lies the challenge that Marc Lavielle has set himself By reconciling high level scientific work and a unique ability to build on industrial partnerships he has succeeded in developing an innovative solution that today benefits the entire pharmaceutical industry More Find a team Innovation news Innovation calendar Partnerships Transfer of technology Inria SMEs Aeronautics defence space security Software publishing embedded system Energy transport sustainable development Health life sciences biotechnology Telecoms networks multimedia Transfer of technology Inria s software assets Inria is the source of many software Below our Key software by sector Discover the software assets on iCOMMUNITY More Pixelshop Fotolia com Inria Industry Meeting Smart City Mobility Innovations Towards environmental and social sustainability 13 04 2015 On Monday 11th May 2015 a new edition of Inria Industry Meetings will be held on the theme of Smart City Mobility Innovations organized by Inria Inria SiliconValley and PRIME More Technology Transfer at Inria Strategic partnerships with large industrial players The strategic partnerships that Inria establishes are long term bilateral partnerships with large industrial groups formalized in a framework agreement A research program is developed jointly by Inria and its partner based on the industrial player s proposed priority topics Research projects fitting into this program are then developed jointly by Inria s teams and the partner In addition a steering committee and a scientific committee ensure that the collaboration is consistent and runs smoothly More Business creation Inria celebrates 30 years of business creation 1984 Inria becomes a shareholder in a first company SIMULOG It was

    Original URL path: http://www.inria.fr/en/centre/rennes/news/stephane-ubeda-is-the-new-director-of-the-inria-rennes-bretagne-atlantique-s-research-center (2015-12-30)
    Open archived version from archive

  • Erwan Faou receives SIAM's Germund Dahlquist 2015 - Inria
    European Public Private Partnership on Big Data research BDVA created in 2015 More Science news Science events calendar Research fields Find a team International programmes Strategy Partnerships Transfer of technology Recruitment jobs UPMC L Ardhuin Inria Awards 2015 Benoît Perthame Inria French Académie des sciences Grand Prize AB Leading mathematician Benoît Perthame is a key personality in the international scientific community A specialist in kinetic equations he has been a pioneer in the field of bio maths since the 2000s His mathematical modelling of Darwin s theory of evolution his studies on cancer or the organisation of cellular communities all demonstrate his capacity to invent new concepts and develop analysis tools applied to the life sciences More Inria D Grandmougin Inria Awards 2015 Véronique Cortier Inria French Académie des sciences Young Researcher Award AB 24 09 2015 A specialist in network security protocols Véronique Cortier devises solutions today that will make digital life more secure tomorrow Her work includes the development of Belenios an open source voting system She adheres to the credo that trusting one s computer is generally a bad idea More Inria C Tourniaire Inria Awards 2015 Marc Lavielle Inria French Académie des Sciences Dassault Systèmes Innovation Award AB Using statistics as a modern tool in order to better address the major health issues of our time therein lies the challenge that Marc Lavielle has set himself By reconciling high level scientific work and a unique ability to build on industrial partnerships he has succeeded in developing an innovative solution that today benefits the entire pharmaceutical industry More Find a team Innovation news Innovation calendar Partnerships Transfer of technology Inria SMEs Aeronautics defence space security Software publishing embedded system Energy transport sustainable development Health life sciences biotechnology Telecoms networks multimedia Transfer of technology Inria s software assets Inria is the source of many software Below our Key software by sector Discover the software assets on iCOMMUNITY More Pixelshop Fotolia com Inria Industry Meeting Smart City Mobility Innovations Towards environmental and social sustainability 13 04 2015 On Monday 11th May 2015 a new edition of Inria Industry Meetings will be held on the theme of Smart City Mobility Innovations organized by Inria Inria SiliconValley and PRIME More Technology Transfer at Inria Strategic partnerships with large industrial players The strategic partnerships that Inria establishes are long term bilateral partnerships with large industrial groups formalized in a framework agreement A research program is developed jointly by Inria and its partner based on the industrial player s proposed priority topics Research projects fitting into this program are then developed jointly by Inria s teams and the partner In addition a steering committee and a scientific committee ensure that the collaboration is consistent and runs smoothly More Business creation Inria celebrates 30 years of business creation 1984 Inria becomes a shareholder in a first company SIMULOG It was the start of a history of company creation which is still going strong today Today and over the coming months Inria is turning the

    Original URL path: http://www.inria.fr/en/centre/rennes/news/erwan-faou-receives-siam-s-germund-dahlquist-2015 (2015-12-30)
    Open archived version from archive

  • Nicolas Tabareau: Democratizing Proof Assistants - Inria
    defence space security Software publishing embedded system Energy transport sustainable development Health life sciences biotechnology Telecoms networks multimedia Transfer of technology Inria s software assets Inria is the source of many software Below our Key software by sector Discover the software assets on iCOMMUNITY More Pixelshop Fotolia com Inria Industry Meeting Smart City Mobility Innovations Towards environmental and social sustainability 13 04 2015 On Monday 11th May 2015 a new edition of Inria Industry Meetings will be held on the theme of Smart City Mobility Innovations organized by Inria Inria SiliconValley and PRIME More Technology Transfer at Inria Strategic partnerships with large industrial players The strategic partnerships that Inria establishes are long term bilateral partnerships with large industrial groups formalized in a framework agreement A research program is developed jointly by Inria and its partner based on the industrial player s proposed priority topics Research projects fitting into this program are then developed jointly by Inria s teams and the partner In addition a steering committee and a scientific committee ensure that the collaboration is consistent and runs smoothly More Business creation Inria celebrates 30 years of business creation 1984 Inria becomes a shareholder in a first company SIMULOG It was the start of a history of company creation which is still going strong today Today and over the coming months Inria is turning the spotlight on 30 years of exciting entrepreneurial ventures It is an opportunity to remind ourselves that the creation of businesses is one of the areas Inria decided to focus on in its search for economic and societal impact Interview with Antoine Petit managing director of Inria and Eric Horlait Inria s deputy managing director responsible for transfer and industrial partnerships More Overview Research Innovation Home Centre Rennes News Democratizing Proof Assistants European Research Council Jean Michel Prima 10 02 2015 Nicolas Tabareau 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 Kourou French Guiana June 4 1996 European rocket Ariane 5 ignites on the launch pad for its maiden flight 36 seconds later the behemoth veers off its trajectory prompting the system to trigger self destruction Several hundred millions of dollars go up in smoke The culprit A tiny computer bug that had gone completely unnoticed By proving software correctness our tool is meant to prevent such accident says Inria researcher Nicolas Tabareau Based upon Type Theory

    Original URL path: http://www.inria.fr/en/centre/rennes/news/democratizing-proof-assistants (2015-12-30)
    Open archived version from archive

  • News - Inria
    team Innovation news Innovation calendar Partnerships Transfer of technology Inria SMEs Aeronautics defence space security Software publishing embedded system Energy transport sustainable development Health life sciences biotechnology Telecoms networks multimedia Transfer of technology Inria s software assets Inria is the source of many software Below our Key software by sector Discover the software assets on iCOMMUNITY More Pixelshop Fotolia com Inria Industry Meeting Smart City Mobility Innovations Towards environmental and social sustainability 13 04 2015 On Monday 11th May 2015 a new edition of Inria Industry Meetings will be held on the theme of Smart City Mobility Innovations organized by Inria Inria SiliconValley and PRIME More Technology Transfer at Inria Strategic partnerships with large industrial players The strategic partnerships that Inria establishes are long term bilateral partnerships with large industrial groups formalized in a framework agreement A research program is developed jointly by Inria and its partner based on the industrial player s proposed priority topics Research projects fitting into this program are then developed jointly by Inria s teams and the partner In addition a steering committee and a scientific committee ensure that the collaboration is consistent and runs smoothly More Business creation Inria celebrates 30 years of business creation 1984 Inria becomes a shareholder in a first company SIMULOG It was the start of a history of company creation which is still going strong today Today and over the coming months Inria is turning the spotlight on 30 years of exciting entrepreneurial ventures It is an opportunity to remind ourselves that the creation of businesses is one of the areas Inria decided to focus on in its search for economic and societal impact Interview with Antoine Petit managing director of Inria and Eric Horlait Inria s deputy managing director responsible for transfer and industrial partnerships More Overview Research Innovation Home Centre Rennes News 1 Page 2 Page 3 Page 4 Page 5 Next Latest news Inria Photo J M Ramès Nomination Stéphane Ubeda is nominated as the new director of the Inria Rennes Bretagne Atlantique s research center Nathalie Lacaux 1 10 2015 Antoine petit Inria s CEO has nominated Stéphane Ubeda as the new director of the Inria Rennes Bretagne Atlantique s research center replacing Bertrand Braunschweig from the october 1st 2015 Keywords Directeur INRIA Rennes Bretagne Atlantique Nomination Stéphane Ubeda More Award Erwan Faou receives SIAM s Germund Dahlquist 2015 Nathalie Lacaux 30 09 2015 Erwan Faou Inria researcher in the project team IPSO received last september 14 the Germund Dahlquist prize 2015 on the occasion of the international conference SciCADE2015 Scientific Computation and Differential Equations held in Potsdam Germany Keywords Germund Dahlquist INRIA Rennes Bretagne Atlantique Erwan Faou Award More European Research Council Nicolas Tabareau 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

    Original URL path: http://www.inria.fr/en/centre/rennes/news (2015-12-30)
    Open archived version from archive

  • Offers - Inria
    and develop analysis tools applied to the life sciences More Inria D Grandmougin Inria Awards 2015 Véronique Cortier Inria French Académie des sciences Young Researcher Award AB 24 09 2015 A specialist in network security protocols Véronique Cortier devises solutions today that will make digital life more secure tomorrow Her work includes the development of Belenios an open source voting system She adheres to the credo that trusting one s computer is generally a bad idea More Inria C Tourniaire Inria Awards 2015 Marc Lavielle Inria French Académie des Sciences Dassault Systèmes Innovation Award AB Using statistics as a modern tool in order to better address the major health issues of our time therein lies the challenge that Marc Lavielle has set himself By reconciling high level scientific work and a unique ability to build on industrial partnerships he has succeeded in developing an innovative solution that today benefits the entire pharmaceutical industry More Find a team Innovation news Innovation calendar Partnerships Transfer of technology Inria SMEs Aeronautics defence space security Software publishing embedded system Energy transport sustainable development Health life sciences biotechnology Telecoms networks multimedia Transfer of technology Inria s software assets Inria is the source of many software Below our Key software by sector Discover the software assets on iCOMMUNITY More Pixelshop Fotolia com Inria Industry Meeting Smart City Mobility Innovations Towards environmental and social sustainability 13 04 2015 On Monday 11th May 2015 a new edition of Inria Industry Meetings will be held on the theme of Smart City Mobility Innovations organized by Inria Inria SiliconValley and PRIME More Technology Transfer at Inria Strategic partnerships with large industrial players The strategic partnerships that Inria establishes are long term bilateral partnerships with large industrial groups formalized in a framework agreement A research program is developed jointly by Inria and its partner based on the industrial player s proposed priority topics Research projects fitting into this program are then developed jointly by Inria s teams and the partner In addition a steering committee and a scientific committee ensure that the collaboration is consistent and runs smoothly More Business creation Inria celebrates 30 years of business creation 1984 Inria becomes a shareholder in a first company SIMULOG It was the start of a history of company creation which is still going strong today Today and over the coming months Inria is turning the spotlight on 30 years of exciting entrepreneurial ventures It is an opportunity to remind ourselves that the creation of businesses is one of the areas Inria decided to focus on in its search for economic and societal impact Interview with Antoine Petit managing director of Inria and Eric Horlait Inria s deputy managing director responsible for transfer and industrial partnerships More Overview Research Innovation Home Centre Rennes Overview Offers Our offers Are you an engineer Are you studying for a PhD or doing post doctoral research Are you a young graduate Or are you a recognised professional in your field whether that field is law finance human

    Original URL path: http://www.inria.fr/en/centre/rennes/overview/offers (2015-12-30)
    Open archived version from archive