European Research Ranking Latest Projectswww.researchranking.org2024-03-29T12:01:56+01:00ERR feed generator243292Orchestration and Programming ENergy-aware and collaborative Swarms With AI-powered Reliable MethodsCoordinator: INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE, Le Chesnay, FR<br>Funding: 5322116.25<br>Start Date: 2023-01-01<br>End Date: 2026-04-302023-01-02T00:00:00+01:002023-01-02T00:00:00+01:0048.8256 2.12592241981Scientific Large-scale Infrastructure for Computing/Communication Experimental Studies - Preparatory PhaseCoordinator: INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE, Le Chesnay, FR<br>Funding: 2999590.50<br>Start Date: 2022-09-01<br>End Date: 2025-12-312022-09-19T00:00:00+02:002022-09-19T00:00:00+02:0048.8256 2.12592240546Help Me Grow: Artificial Cognitive Development via Human-Agent Interactions Supported by New Interactive, Intrinsically Motivated Program Synthesis Methods.Coordinator: INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE, Le Chesnay, FR<br>Funding: 276681.60<br>Start Date: 2022-09-11<br>End Date: 2025-09-102022-09-12T00:00:00+02:002022-09-12T00:00:00+02:0048.8256 2.12592241498AI, Data and Robotics ecosystemCoordinator: INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE, Le Chesnay, FR<br>Funding: 3998708.00<br>Start Date: 2022-07-01<br>End Date: 2025-06-302022-09-07T00:00:00+02:002022-09-07T00:00:00+02:0048.8256 2.12592240614Landslide and avalanchE Mechanics with Multiphysical datACoordinator: INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE, Le Chesnay, FR<br>Funding: 195914.88<br>Start Date: 2022-09-01<br>End Date: 2024-08-312022-09-05T00:00:00+02:002022-09-05T00:00:00+02:0048.8256 2.12592239320Leveraging Precision in Numerical Optimization for Robotic MotionsCoordinator: INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE, Le Chesnay, FR<br>Funding: 211754.88<br>Start Date: 2022-08-01<br>End Date: 2024-07-312022-08-08T00:00:00+02:002022-08-08T00:00:00+02:0048.8256 2.12592239491Custom Cryptographic Solutions with Formal Security GuaranteesCoordinator: INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE, Le Chesnay, FR<br>Funding: 150000.00<br>Start Date: 2022-04-01<br>End Date: 2023-09-302022-08-08T00:00:00+02:002022-08-08T00:00:00+02:0048.8256 2.12592238188Foundations of transcendental methods in computational nonlinear algebraCoordinator: INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE, Le Chesnay, FR<br>Funding: 1393312.50<br>Start Date: 2022-04-01<br>End Date: 2027-03-312022-07-28T00:00:00+02:002022-07-28T00:00:00+02:0048.8256 2.12592233567Fast and Reliable Symbolic ComputationCoordinator: INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE, Le Chesnay, FR<br>Funding: 1999926.00<br>Start Date: 2021-11-01<br>End Date: 2026-10-312022-04-30T00:00:00+02:002022-04-30T00:00:00+02:0048.8256 2.12592236064Verified Extraction from Coq to OCaml with GADTsCoordinator: INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE, Le Chesnay, FR<br>Funding: 184707.84<br>Start Date: 2021-12-01<br>End Date: 2023-11-302021-12-03T00:00:00+01:002021-12-03T00:00:00+01:0048.8256 2.12592