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 - SPHINX - Inria
    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 then developed jointly by Inria s teams and the partner In addition a steering committee and a scientific committee ensure

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


  • Presentation - ANTIQUE - Inria
    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 collaboration is consistent and runs smoothly

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

  • Presentation - CELTIQUE - Inria
    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 teams Algorithmics Programming Software and Architecture Proofs and Verification CELTIQUE Presentation HAL publications Activity reports CELTIQUE Research team Software certification with semantic analysis Leader Thomas Jensen Type Project team Research center s Rennes Field Algorithmics Programming Software and Architecture Theme Proofs and Verification École normale supérieure de Rennes Université Rennes 1 Institut de recherche en informatique et systèmes aléatoires IRISA UMR6074 Team presentation The goal

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

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

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

  • Presentation - GALLIUM - Inria
    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 teams Algorithmics Programming Software and Architecture Proofs and Verification GALLIUM Presentation HAL publications Activity reports GALLIUM Research team Programming languages types compilation and proofs Leader Xavier Leroy Type Project team Research center s Paris Rocquencourt Field Algorithmics Programming Software and Architecture Theme Proofs and Verification Team presentation The GALLIUM project team conducts research on the design formalization and implementation of programming languages and systems Our objective is to improve the reliability of software systems through higher level safer more expressive programming languages based on the functional programming paradigm automatic error detection via type systems and related static analyses better linguistic support for formal methods especially on machine proofs of programs Research themes Type systems type inference and related program analyses Static typing the compile time enforcement of a type system is an effective way to detect large classes of

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

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

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

  • Presentation - MEXICO - Inria
    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 MEXICO Presentation HAL publications Activity reports MEXICO Research team Modeling and Exploitation of Interaction and Concurrency Leader Stefan Haar Type Project team Research center s Saclay Field Algorithmics Programming Software and Architecture Theme Proofs and Verification CNRS Ecole normale supérieure de Cachan Laboratoire specification et vérification LSV UMR8643 Team presentation In the increasingly networked world reliability of applications becomes ever more critical as the number of users of e g communication systems web services transportation etc grows steadily MExICo works towards a better understanding and an increased reliability of distributed and asynchronous systems and focuses its research on the two features of Concurrency and Interaction The increasing size and the networked nature of communication systems controls distributed services et c confront us with an ever higher degree of parallelism between local processes For any form of analysis and control a global view of the system state leads to overwhelming numbers of states and transitions and blurs the mechanics that are at work rather than exhibiting them Conversely respecting concurrency relations avoids exhaustive enumeration of interleavings and allows to focus on essential properties of nonsequential processes characterized by causal precedence relations We see concurrency in distributed systems as an opportunity rather than a nuisance that leads to state space explosion in the formal models and slows down algorithms Research themes Diagnosis and diagnosability In diagnosis for discrete event systems the task is to determine from observations of streams of event labels whether faults have occurred in the system

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

  • Presentation - PARSIFAL - Inria
    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 teams Algorithmics Programming Software and Architecture Proofs and Verification PARSIFAL Presentation HAL publications Activity reports PARSIFAL Research team Proof search and reasoning with logic specifications Leader Dale Miller Type Project team Research center s Saclay Field Algorithmics Programming Software and Architecture Theme Proofs and Verification CNRS Ecole Polytechnique Laboratoire d informatique de l école polytechnique LIX UMR7161 Team presentation The PARSIFAL project team aims at elaborating methods and tools for specifying and reasoning about computation systems such as for example compilers security protocols and concurrent programs A central challenge here is proving properties of programs that manipulate other programs The specification of computation systems today is commonly given using operational semantics which are generally given via inference rules over relations Such inference rules are also used for specifying the static semantics for programming languages type inference for

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