Le CRIL en bref

présentation

Le Centre de Recherche en Informatique de Lens (CRIL UMR 8188) est un laboratoire de l’Université d’Artois et du CNRS dont la thématique de recherche fédératrice concerne l'intelligence artificielle et ses applications. Il regroupe plus de 50 membres : chercheurs, enseignants-chercheurs, doctorants et personnels administratifs et techniques.

Le CRIL participe à la Confédération Européenne de Laboratoires en Intelligence Artificielle CLAIRE et à l'alliance régionale humAIn. Il bénéficie du soutien du Ministère de l’Enseignement Supérieur et de la Recherche, du CNRS, de l’Université d’Artois et de la région Hauts de France.

Le CRIL est localisé sur deux sites à Lens : la faculté des sciences Jean Perrin et l’IUT.

En savoir plus

Recherches en intelligence artificielle et applications

mots clés du CRIL

Actualités (RSS)

Séminaire Enjeux liés aux ressources termino-ontologiques en santé

Fleur Mougin - Université de Bordeaux

On recense un nombre important de ressources termino-ontologiques (RTOs ) en santé, qui sont non seulement volumineuses mais aussi de différents types (classifications, thésaurus, ontologies…). Dans ce séminaire, je décrirai les enjeux liés à l’utilisation des RTOs en santé et j’aborderai plus précisément trois problématiques : l’évaluation de la qualité des RTOs biomédicales, leur interopérabilité sémantique et la conception de nouvelles RTOs.

En savoir plus

Séminaire Learning the structure of Bayesian Networks using constraint programming

George Katsirelos - MIAT INRA

Bayesian networks are probabilistic graphical models with a wide range of application areas including gene regulatory networks inference, risk analysis and image processing. Learning the structure of a Bayesian network (BNSL) from discrete data is known to be an NP-hard
task. In this talk, I will present some recent work on attacking this problem by combining techniques from constraint programming and integer programming. I will show that a subclass of violated inequalities from a well known exponentially large formulation of the
problem can be detected efficiently and the resulting LP solved approximately, all using techniques derived from constraint programming. This deep integration of CP and ILP techniques yields significant improvements in runtime and scalability.

En savoir plus

Séminaire Clustercril v2022 : présentation de la nouvelle architecture et de Slurm

Emmanuel Lonca - CRIL, Univ Artois & CNRS

Le cluster du CRIL met à disposition des chercheurs du laboratoire des moyens de calcul depuis sa mise en place en 2009. L’évolution de ces moyens est continue depuis lors, aboutissant à une architecture hétérogène dans laquelle cohabitent des nœuds de calcul traditionnels, des nœuds dédiés au calcul distribué, des nœuds GPU, ainsi que différents serveurs permettant d’animer cette puissance de calcul.
Cette évolution matérielle, ainsi que celle en terme d’offre logicielle, nécessitent une refonte du cluster dans une mesure qui n’a pas été atteinte depuis 2013.

Lors de ce séminaire, je vous présenterai dans un premier temps les différentes problématiques ayant motivé cette refonte, ainsi que les solutions retenues par le “groupe cluster” du CRIL pour y remédier.
Dans un second temps, Je vous présenterai Slurm, le nouveau système de gestion de ressources installé sur le cluster, en mettant l’accent sur les changements que cela implique par rapport aux logiciels précédemment utilisés.

En savoir plus

Gilles Audemard reçoit le prix de la conférence CAV

Gilles Audemard a reçu avec 20 autres chercheurs ce vendredi 23 juillet le prix de la conférence internationale Computer-Aided Verification pour ses contributions aux travaux fondateurs théoriques et pratiques sur le problème de la cohérence modulo une théorie (SMT).



Voir l’annonce complète (en anglais).

Le CRIL lauréat d'un appel à manifestation d'intérêt de Confiance.ai

Les partenaires du programme Confiance.ai ont souhaité associer la communauté de recherche académique, en complément des laboratoires et instituts déjà présents en leur sein (Inria, CEA, IRT Saint-Exupéry, IRT SystemX), à la résolution de ses défis scientifiques et technologiques. Pour cela, un appel à manifestation d’intérêt a été publié fin 2020 à destination des laboratoires académiques.

Les lauréats de cet AMI ont été dévoilés fin juin.

Le CRIL fait partie de ces lauréats, dans le cadre du projet “Explications intelligibles”.

En savoir plus