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.
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.
Prix du meilleur papier à UAI'25
Le papier suivant a été primé lors de la 41ème conférence internationale sur l’incertain en intelligence artificielle (UAI'25) en juillet 2025 : Frédéric Koriche, Jean-Marie Lagniez, Chi Tran: Probabilistic Explanations for Regression Models PDF
Deux papiers acceptés à ECAI'25
Les papiers suivants seront présentés à la 28ème conférence européenne en intelligence artificielle (ECAI'25) : Probabilistic Belief Update When Inputs are Uncertain: The Inverse Problem Perspective Karim Tabia Uncertainty in quantitative bipolar argumentation frameworks Jordan Thieyre, Caren Al Anaissy, Aurélie Beynier, Sébastien Destercke, Nicolas Maudet and Srdjan Vesic
Six papiers acceptés à KR'25
Les papiers suivants seront présentés à la 22ème conférence internationale sur la représentation des connaissances et raisonnements (KR'25) : Conférence principale Reasoning with Restricted Statistical Statements in Probabilistic Answer Set Programming: Complexity and Algorithms Damiano Azzolini and Markus Hecher FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding Alexander Beiser, Martin Gebser, Markus Hecher and Stefan Woltran Counting Solutions under Cardinality Constraints: Structure Counts in Counting