Le CRIL en bref
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 près de 70 membres : chercheurs, enseignants-chercheurs, doctorants et personnels administratifs et techniques.
Le CRIL participe à la Confédération Européenne de Laboratoires en Intelligence Artificielle CAIRNE 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.
Actualités (RSS)
Séminaire Séminaire de Frédéric MARÇON - Laboratoire AGIR UR 4294 - Université de Picardie Jules Verne
Impact des chocs et vibrations sur la stabilité des biothérapies : Quels apports des données de vie réelle et de l’IA pour établir les recommandations ?
25 sept. 2025 - 14:00Assurer la stabilité des biothérapies pendant leur transport constitue un défi important, notamment face aux contraintes mécaniques mal maitrisées telles que les chocs, les vibrations ou face aux fluctuations thermiques. Si la régulation de la chaine du froid et des températures maitrisées est bien encadrée, les stress mécaniques restent peu explorés, malgré un impact avéré sur la stabilité des protéines et les risques iatrogènes associés. La quantification fine des conditions réelles de transport, à l’aide de capteurs embarqués (accéléromètres, gyroscopes, thermomètres), ainsi que la modélisation de leurs effets sur les caractéristiques physico-chimiques des produits biologiques, représente un enjeu stratégique en logistique pharmaceutique.
Séminaire Séminaire de Yasmina Beddar, Ingénieure Projets Européens - IRIT
Présentation Projets Européens
18 sept. 2025 - 14:00Présentation des différents dispositifs et projets européens existants.
Prix du meilleur papier étudiant à ICLP'25
Le papier suivant a été primé du Best Student Paper Award lors de la 41ème conférence internationale en programmation logique (ICLP) en septembre 2025 : Alexander Beiser, Markus Hecher, and Stefan Woltran: Automated Hybrid Grounding Using Structural and Data-Driven Heuristics Résumé : The grounding bottleneck poses one of the key challenges that hinders the widespread adoption of Answer Set Programming in industry. Hybrid Grounding is a step in alleviating the bottleneck by combining the strength of standard bottom-up grounding with recently proposed techniques where rule bodies are decoupled during grounding.
Séminaire Séminaire de Chi Tran Nguyen Duong et Frédéric Koriche
Probabilistic Explanations for Regression Problems
11 sept. 2025 - 14:00Formal explainability is an emerging field that aims to provide mathematically guaranteed explanations for the predictions made by machine learning models. Recent work in this area focuses on computing “probabilistic explanations” for the predictions made by classifiers based on specific data instances. The goal of this paper is to extend the concept of probabilistic explanations to the regression setting, treating the target regressor as a black box function. The class of probabilistic explanations consists of linear functions that meet a sparsity constraint, alongside a hyperplane constraint defined for the data instance being explained.
Séminaire Séminaire de Daniel LeBerre
SAT-based Models at SAT25 and IJCAI25
4 sept. 2025 - 14:00Paper1: SAT-based CEGAR Method for the Hamiltonian Cycle Problem Enhanced by Cut-Set Constraints Ryoga Ohashi, Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Katsumi Inoue, Naoyuki Tamura présenté à SAT’25 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2025.24 In this paper, we propose an enhancement to the SAT-based counterexample-guided abstraction refinement (CEGAR) approach for solving the Hamiltonian Cycle Problem (HCP). Many SAT-based methods for HCP have been proposed, including a CEGAR-based method that repeatedly solves a relaxed version of HCP strengthened by counterexamples.
Quatre nouveaux projets lauréats de l'appel à projet générique de l'ANR 2025
Trois nouveaux projets ANR lauréats de l’appel à projet générique 2025 de l’ANR : JCJC CertAI Certification de l’IA par le raisonnement quantitatif et la qualité basée sur le comptage, porteur Hecher MARKUS PRCE DesiRes Conception de Raisonneurs Artificiels pour la Communication, responsable scientifique CRIL Tiago de Lima PRCE ERARE Expliquer la robustesse et dériver des explications robustes, porteur Karim TABIA PRME CERADOC Création d’algorithmes pour des circuits décomposables compacts, porteur Jean Marie LAGNIEZ