Project-team INBIO Experimental and Computational Methods for Modeling Cellular Processes InBio is an interdisciplinary research group, combining wet and dry biology in the same lab. We...
Project-team INOCS INtegrated Optimization with Complex Structure An optimization problem consists in finding a best solution from a set of feasible solutions. Such a...
Project-team KAIROS Multiform Logical Time for Formal Cyber-Physical System Design Kairos is working on how methods and tools to manage concurrency and time at different levels of...
Project-team KOPERNIC Keeping worst case reasoning for different criticalities A cyber-physical system (CPS) has cyber (or computational) components and physical components that...
Project-team KRAKOS Design of performance, robust, secure, flexible, and energy-efficient system software
Project-team LACODAM Large scale Collaborative Data Mining The objective of the LACODAM team is to considerably facilitate the process of making sense from...
Challenge LearnNet Learning Networks While machine learning is revolutionizing entire sectors of the digital economy and scientific...
Project-team LEMON Littoral Environment: M0dels and Numerics LEMON is a research team between Inria Sophia-Antipolis Méditerranée, Hydrosciences Montpellier (HSM...
Challenge LiberAbaci The Coq proof assistant and mathematics education Computer proof tools have gained recognition in the production of reliable software and the...
Project-team LIFEWARE Computational systems biology and optimization The project Lifeware aims at developing formal methods for understanding the cell machinery and...
Project-team LINKMEDIA Creating and exploiting explicit links between multimedia fragments The challenge that multimedia faces today is that of context awareness, i.e., describing documents...
Project-team LINKS Linking Dynamic Data The appearance of linked data on the web calls for novel database management technologies for linked...