International Research Projects (IRP)

An IRP is a collaborative research project set up by one or more CNRS laboratories and laboratories from one or two other countries.

These projects enable the consolidation of established collaborations through short- or medium-term scientific exchanges. Their aims are to organise work meetings or seminars, develop joint research activities including field research and finally to supervise students. Teams from France and other countries must have already proved they are able to collaborate together, for example through one or more joint publications. IRPs last for five years. The INS2I currently has 10 IRPs which correspond to strategic international collaborations.

AAURS en Australie

En cours de création

ADONIS au Liban

L'IRP ADONIS (Approches de Diagnostic et de cONtrôle Intelligent des Systèmes), 2020-2025, porte sur le diagnostic et le contrôle intelligent des systèmes. Il associe des chercheurs de quatre organismes partenaires : Université de technologie de Compiègne (UTC), Faculté de Génie – Université Libanaise (UL), CNRS France et CNRS Liban, ayant des centres d’intérêt communs et une volonté de collaborer dans les domaines du contrôle, de l’analyse des données, de la maîtrise des incertitudes et ceci dans plusieurs cadres d’études, comme notamment les systèmes biomédicaux et les systèmes de transport. Trois unités de recherche UTC/CNRS sont impliquées dans cet IRP : laboratoire Heuristique et diagnostic des systèmes complexes (Heudiasyc - CNRS/Université de technologie de Compiègne), laboratoire Roberval - Unite de Recherche en Mecanique, acoustique et matériaux (Roberval - CNRS/Université de technologie de Compiègne) ainsi que le laboratoire Biomécanique et Bioingénierie (BMBI - CNRS/Université de technologie de Compiègne).

Après de longues années de collaboration entre ces établissements, et notamment entre l’UTC et l’UL depuis 1997, ce projet vise à consolider et pérenniser cette collaboration, à élargir son périmètre à de nouvelles thématiques de recherche, et à augmenter son attractivité et sa visibilité.

Le projet scientifique s’articule autour de deux axes théoriques, et de trois domaines d’ingénierie :

schéma adonis

Mots-clés : contrôle, diagnostic, tolérance aux fautes, sûreté de fonctionnement, traitement du signal, décision, maîtrise des incertitudes, systèmes de transport, systèmes biomédicaux, robotique et mécatronique.

DATANET au Maroc

Les recherches menées dans le cadre de l'IRP DATANET concernent la fouille de données massives d’une part, et la gestion des recommandations des réseaux sociaux d’autre part, avec des applications dans le domaine de l’environnement, de la santé, de la gestion de l’énergie et de l’étude des langues.

Créé au 1er janvier 2015, DATANET associe le CNRS et l’Université de Lorraine pour le Laboratoire lorrain de recherche en informatique et ses applications (Loria - CNRS/Université de Lorraine/Inria), l’Université Al Akhawayn (AUI), le Centre National de la Recherche Scientifique et Technique (CNRST), l’École Nationale Supérieure d’informatique et Analyse des Systèmes (ENSIAS), la Faculté des Sciences et Techniques de Tanger (FST-Tanger), l’Institut National des Postes et Télécommunications (INPT) et l’Université Internationale de Rabat (UIR).

Mots-clés : fouille de données, découverte de connaissances dans des masses de données (DCMD), analyse formelle de concepts, parallélisation des algorithmes DCMD, réseaux à grande échelle, modélisation stochastique et évaluation des performances, réseaux intelligents, changement climatique et catastrophes naturelles, réseaux sociaux avec un focus plus spécifique sur le monde arabe et ses dialectes, management des recommandations des réseaux sociaux.

Voir l'article "Signature de DATANET" sur le site du LORIA

INSIMIA en Italie

L'IRP INSIMIA (INtégrité des Systèmes Intégrés Matériellogiciel
à l’ère de l’Intelligence Artificielle) est la suite du projet initié avec le Laboratoire franco-italien de recherche sur les systèmes intégrés matériel-logiciel (Lafisi) qui a permis d’asseoir la visibilité du LIRMM et du Politecnico di Torino dans le domaine du test et de la fiabilité
des systèmes intégrés matériel-logiciel, notamment par le biais d’une production scientifique conséquente et de qualité. INSIMIA a pour objectif de dynamiser la synergie entre ces deux centres développant des recherches complémentaires, pour développer de nouvelles thématiques de recherche dans le domaine de l’intégrité des systèmes intégrés sur puce, mais dans un espace de recherche centré sur l’Intelligence Artificielle. Un effort particulier est porté sur la valorisation et au transfert technologique des résultats de recherche obtenus dans le cadre de cet IRP.

Créé en 2020, INSIMIA associe le CNRS, l’Université de Montpellier et le Politecnico di Torino.

 

Joint Montpellier Stanford Laboratory aux États-Unis

En cours de création

MAKC aux États-Unis

The MAKC IRP (Modern Approaches to Knowledge Compilation) is centered on knowledge compilation (KC) for problem solving. KC is a research area which aims to preprocess information to improve the time required to solve highly-demanding computational tasks (i.e., solving NP and Beyond NP problems). The main objective of MAKC is to conceive and evaluate KC tools of various kinds (mainly preprocessors, compilers and reasoners) and to apply them to solve problems from a large spectrum of areas, for instance product configuration, formal verification, probabilistic inference, machine learning, and databases.

 

Keywords : artificial intelligence, deep solving, knowledge compilation

 

MICC en Italie

En cours de rédaction

MLNS2 au Cameroun

En cours de rédaction

ROI-TML au Canada

L'IRP Recherche Opérationnelle et Informatique en Transport, Mobilité et Logistique (ROI-TML) s’intéresse aux problèmes d’optimisation (discrets et/ou continus) issus du transport moderne et durable, conjuguant le déplacement des marchandises et la mobilité des personnes.

Créé en 2016, ROI-TML associe le CNRS et l’Université Valenciennes Hainaut-Cambrésis pour le Laboratoire d’Automatique, de Mécanique et d’Informatique Industrielles et Humaines (LAMIH - CNRS/Université Valenciennes Hainaut-Cambrésis), et le Centre interuniversitaire de recherche sur les réseaux d’entreprise, la logistique et le transport (CIRRELT - Université de Montréal).

Mots-clés : recherche opérationnelle, transport, mobilité, logistique

Voir aussi : Signature du LIA ROI-TLM

SINFIN en Argentine

Image removed.

Les recherches menées dans le cadre de l'IRP Systèmes, vérIfication, iNformatique Fondamentale, logIque, laNgages (SINFIN) portent sur l’utilisation de méthodes formelles dans la mise en oeuvre de théories et d’outils automatiques servant à la modélisation, la vérification et le développement de logiciels complexes.

Créé en 2019, SINFIN succède au LIA Infinis qui avait débuté en 2011. Il associe le CNRS, l’Université Paris Diderot, le Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET) et l’Université de Buenos Aires.

Mots-clés : informatique fondamentale, Logique, Langages, Vérification et Systèmes

Voir l'actualité : "Signature de renouvellement du LIA INFINIS"