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".
  • Presentation - PI.R2 - Inria
    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 Research teams Home Research Research teams Algorithmics Programming Software and Architecture Proofs and Verification PI R2 Presentation HAL publications Activity reports PI R2 Research team Design study and implementation of languages for proofs and programs Leader Pierre louis Curien Type Project team Research center s Paris Rocquencourt Field Algorithmics Programming Software and Architecture Theme Proofs and Verification CNRS Université Denis Diderot Paris 7 Laboratoire Preuves Programmes et Systèmes PPS UMR7126 Team presentation The team π r covers three research topics A fundamental research around the correspondence between proofs and programs A theoretical research around the formalism that underlies the Coq proof assistant An implementation field with the development of Coq especially in the view of Coq as dependently typed programming language Research themes Crossed fertilisation of proof theory and program theory The syntactic correspondence between proofs and programs so called Curry Howard correspondence irrigated logic and computer science in the last

    Original URL path: http://www.inria.fr/en/teams/pi.r2 (2015-12-30)
    Open archived version from archive


  • Presentation - SUMO - Inria
    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

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

  • Presentation - TOCCATA - Inria
    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 collaboration is consistent and runs smoothly More Business creation Inria

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

  • Presentation - VERIDIS - Inria
    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 Research teams Home Research Research teams Algorithmics Programming Software and Architecture Proofs and Verification VERIDIS Presentation HAL publications Activity reports VERIDIS Research team Modeling and Verification of Distributed Algorithms and Systems Leader Stephan Merz Type Project team Research center s Nancy Field Algorithmics Programming Software and Architecture Theme Proofs and Verification Université de Lorraine CNRS Laboratoire lorrain de recherche en informatique et ses applications LORIA UMR7503 Team presentation VeriDis is a joint team of Inria Nancy Max Planck Institut für Informatik CNRS and the Université de Lorraine Its members in Nancy and Saarbrücken are experts in formal methods and verification The objectives of the project are twofold first we exploit further develop and integrate verification techniques based on automated and interactive theorem proving but also including model checking where our main applicative focus is the area of concurrent and distributed algorithms and systems Second we contribute to

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

  • Presentation - CARTE - Inria
    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 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

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

  • Presentation - CASSIS - Inria
    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 Research teams Home Research Research teams Algorithmics Programming Software and Architecture Security and Confidentiality CASSIS Presentation HAL publications Activity reports CASSIS Research team Combination of approaches to the security of infinite states systems Leader Michael Rusinowitch Type Project team Research center s Nancy Field Algorithmics Programming Software and Architecture Theme Security and Confidentiality Franche Comté Electronique Mécanique Thermique et Optique Sciences et Technologies Université de Lorraine Université de Franche Comté CNRS Laboratoire lorrain de recherche en informatique et ses applications LORIA UMR7503 Team presentation The aim of the project team is the design and the development of tools for checking the safety of systems with an infinite number of states Our analysis of systems is based on a symbolic representation of the sets of states as formal languages or logical formulas Safety is obtained by automated proofs symbolic exploration of models or tests generation These validation methods are complementary They are based in our project on accessibility problems and their reduction to constraints solving An originality of the project lies in its focusing on the infinite systems parameterized or of large size where each technique taken separately shows its limits As examples of such systems we can mention protocols operating on topologies of arbitrary size ring networks systems handling datastructures with unspecified size sets or whose control is infinite automata communicating by unlimited buffers The applications are embedded softwares on smart cards for example security protocols and distributed systems Research themes Making of methods and tools for checking of critical software is our objective To carry it out we develop in a joint way deduction techniques for software safety constraints solving techniques for tests generation and methods for computing reachability for the verification of infinite systems Automated deduction The goal is to prove the validity of assertions resulting from the analysis of the programs We develop techniques and systems of automated deduction based on term rewriting and constraints solving The verification of recursive data structures frequently calls upon induction equational reasoning and exploits properties of

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

  • Presentation - COMETE - Inria
    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 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 Research teams Home Research Research

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

  • Presentation - DECENTRALISE - Inria
    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 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

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