Bienvenue au Centre de Recherche en Informatique (CRI) de MINES Paris. Le CRI se consacre à l'étude des langages utilisés par les technologies de l'information (langages de programmation, de description de données, d'interrogation ou semi-formels, voire naturels) et développe des techniques d'analyse sémantique et de transformations automatiques destinées à répondre aux besoins industriels (performance, consommation d'énergie, sécurité, coût de développement, time-to-market) et aux besoins administratifs et sociétaux (partage d'information cohérente, normalisation des données, accès à l'information, sauvegarde du patrimoine).

Actualités

20/04/2023
Claude Tadonki, invité à UFF, Niteroi, Brésil

31/03/2023
Parallélisme au Rwanda

18/09/2023 – Séminaire, Georges-André Silber
Présentation du papier de Google/Deepmind publié dans Nature en juin 2023: "Faster sorting algorithms discovered using deep reinforcement learning”

19/06/2023 – Séminaire, Carla Santana
« Dependability Library for Iterative Applications »

15/05/2023 – Séminaire, Guillaume Quispe
« Interopérabilité pour la blockchain »

17/04/2023 – Séminaire, Pierre Guillou
« Introduction à l'analyse de données avec TTK »

20/03/2023 – Séminaire, Georges-André Silber
« Vers une consolidation automatique du droit français »

20/02/2023 – Séminaire, Amine Benamara
« Conception d'une patiente virtuelle Alzheimer interactive et expressive : modélisation de biais d'évaluation pour la génération de comportements non-verbaux »