CRIL in short
Lens Computer Science Research Lab (CRIL UMR 8188) is a joint laboratory between Université d’Artois and CNRS, that has a strong research focus on Artificial Intelligence and its applications. It groups together about 70 members, including researchers, lecturers, PhD students, postdocs and administrative or technical staff.
The CRIL is a member of the Confederation of Laboratories for Artificial Intelligence Research in Europe CAIRNE of the regional humAIn alliance. It is funded by Ministère de l’Enseignement Supérieur et de la Recherche, CNRS, Université d’Artois and Hauts de France region.
CRIL is located in two different places in Lens: at the faculty of science and at the technical institute (IUT).
News (RSS)
Two courses proposed by CRIL members at ESSAI'26
The following courses will be given by members of CRIL during the European Summer School on Artificial Intelligence from July 6 to July 10 in Vienna, Austria. Knowledge Compilation: Theory, Practice, and Applications Johannes Fichte (Linköping University), Jean-Marie Lagniez From In-Context Learning to Neuro-Symbolic Reasoning with Large Reasoning Models Zied Bouraoui, Tanmoy Mukherjee
Two papers accepted at ACL'26
The following papers will be presented at the 64rd Annual Meeting of the Association for Computational Linguistics (ACL'26) in July 2026 taking place in San Diego, California: Credal Concept Bottleneck Models for Epistemic–Aleatoric Uncertainty Decomposition Tanmoy Mukherjee, Thomas Bailleux, Pierre Marquis, Zied Bouraoui Explanation Quality Assessment as Ranking with Listwise Rewards Thomas Bailleux, Tanmoy Mukherjee, Emmanuel Lonca, Pierre Marquis, Zied Bouraoui
Two papers accepted at ICML'26
The following papers will be presented at the Forty-Third International Conference on Machine Learning in July 2026: Evaluating Robustness of Reasoning Models on Parameterized Logical Problems Naïm Es-sebanni, Esteban Marquer, Yakoub Salhi, Zied Bouraoui Why Deep Jacobian Spectra Separate: Depth-Induced Scaling and Singular-Vector Alignment Nathanaël Haas, François Gatine, Augustin Cosse, Zied Bouraoui
Three papers accepted at SAT'26 or CP'26
The following paper will be presented at the 32nd International Conference on Principles and Practice of Constraint Programming (CP'26): Utility-Peak Itemset Mining with Constraint Programming Chaima Hamdi, Nadjib Lazaar, Nassim Belmecheri, Djawad Bekkoucha, Said Jabbour, Lakhdar Saïs The following papers will be presented at the 29th International Conference on Theory and Applications of Satisfiability Testing (SAT'26): decdnnf_rs: A framework for Querying d-DNNF Jean-Marie Lagniez, Emmanuel Lonca A canonical generalization of OBDD*
Seven papers accepted at IJCAI'26
This year, there will be 7 papers from CRIL presented at IJCAI 2026! Compact Modeling in Constraint Programming with Hybrid Tables Christophe Lecoutre, Mouny Samy Modeliar, Gilles Audemard, Nicolas Paris and Nicolas Szczepanski gDMC: A Generic Distributed Model Counting Framework viaWork-Stealing Zhenghang Xu, Minghao Yin, Junping Zhou, Jean-Marie Lagniez Efficient Minimization of Decision-DNNF Circuits via Semantic Hashing and Provenance Tracking Armin Biere, Jean-Marie Lagniez, Emmanuel Lonca Splitting Meanings: A Unified View on Paraconsistency and Inconsistency Measurement
Seven papers accepted at KR'26
The following papers will be presented at the 23rd International Conference on Principles of Knowledge Representation and Reasoning (KR'26) : Main track Counting Complexity of ASP M. Bannach, J. Fichte, J. Groven, M. Hecher Expressiveness of Epistemic Spaces for Iterated Belief Change Operators N. Schwind, S. Konieczny, R. Perez Truth-Tracking by Iterated Belief Change N. Schwind, P. Everaere, S. Konieczny Belief Function Propagation in Quantitative Bipolar Argumentation Frameworks J. Thieyre, A.
Five papers accepted at AAAI'26
The following papers will be presented at the 40th Annual AAAI Conference on Artificial Intelligence (AAAI'26) : Aperiodic Tiling and Rhythmic Canons: A CP Journey Guillaume Derval, Christophe Lecoutre* Generalizing Analogical Inference from Boolean to Continuous Domains Francisco Cunha, Yves Lepage, Miguel Couceiro, Zied Bouraoui. Targeting in Multi-Criteria Decision Making Nicolas Schwind, Patricia Everaere, Sébastien Konieczny, Emmanuel Lonca Truth-Tracking Evaluation in Opinion-Based Argumentation Juliete Rossie, Jérôme Delobelle, Sébastien Konieczny, Srdjan Vesic