Project-team STAMP Safety Techniques based on Formalized Mathematical Proofs The STAMP project-team studies the formal verification of algorithms and mathematical results using...
Project-team BOREAL Knowledge Representation and Rule-Based Languages for Reasoning on Data Current information systems are grounded on the exploitation of data coming from an increasing...
Project-team MORPHEME Morphologie et Images The scientific objectives of MORPHEME are to characterize and model the development and the...
Project-team GRAPHDECO GRAPHics and DEsign with hEterogeneous COntent Despite significant progress in Computer Graphics, HCI and Computer Vision, creating, manipulating...
Startups from project teams at the Inria branch at the University of Montpellier Changed on 20/02/2024
© Inria / Photo C. Morel Jobs Marie Skłodowska-Curie Actions Postdoctoral Fellowships: 2024 Inria Hosting Offers 06/02/2024
22–23 January 2024 Communication - Event AI-Hand project kick-off: using electrodes to regain the use of your hands Location : Antenne Inria de l'Université de Montpellier
© Inria / MOISE - CNRS / LEGI / Photo N. Hairon Jobs External competitions 2024 research support function: join us! 08/01/2024