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 more than 60 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 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).
Recently updated publications
International conferences
National conferences
News (RSS)
PhD positions SAT-based Approaches for Formal Verification with B method
Apply here Summary The ANR project BLaSST targets bridging combinatorial and symbolic techniques in automatic theorem prov- ing, in particular for proof obligations generated from B models. Work will be carried out on SAT-based techniques as well as on more expressive SMT formalisms. In both cases encoding techniques, optimized resolution techniques, model generation, and lemma suggestion will be considered. Combining both lines of work, the expected scientific impact is a substantially higher degree of automation of solvers for expressive input languages by leveraging higher-order reasoning and enumerative instantiations over finite domains.
Pierre Marquis becomes AAIA Fellow
Pierre Marquis has been nominated Asia-Pacific Artificial Intelligence Association (AAIA) Fellow. The list of AAIA Fellows is available on the association website.
IPMU'22 outstanding paper award for Sara Kebir
Sara Kebir received an outstanding student paper award during the international conference IPMU'22 (Information Processing and Management of Uncertainty in Knowledge-Based Systems) on July 13, 2022 in Milan, Italy for her article Probability Calibration Through Uncertain Information Revision co-authored with her supervisor Karim Tabia. Kebir, Sara, Tabia, Karim (2022). Classifier Probability Calibration Through Uncertain Information Revision. In Proc. of Information Processing and Management of Uncertainty in Knowledge-Based Systems. IPMU 2022. Communications in Computer and Information Science, vol 1602.
Accepted papers at IJCAI'22
This year, 8 papers from CRIL will be presented at IJCAI 2022!. Main track On Preferred Abductive Explanations for Decision Trees and Random Forests Gilles Audemard, Steve Bellart, Louenas Bounia, Frederic Koriche, Jean-Marie Lagniez, Pierre Marquis On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits Alexis de Colnet, Pierre Marquis A Computationally Grounded Logic of ‘Seeing-to-it-that’ Andreas Herzig, Emiliano Lorini, Elise Perrotin Best Heuristic Identification for Constraint Satisfaction Frederic Koriche, Christophe Lecoutre, Anastasia Paparrizou, Hugues Wattez
Gilles Audemard receives CAV 2021 award
Gilles Audemard received with 20 other researchers on July 23, 2021 the 2021 award from the international conference on Computer-Aided Verification for pioneering contributions to the foundation of the theory and practice of Satisfiability Modulo Theory (SMT). See the full announcement.
An article co-authored by CRIL's members distinguished at ECAI'2020
The list of distinguished papers at the European Conference in Artificial Intelligence (ECAI) has been unveiled on August 29, 2020, during the opening of the conference which will be a fully digital event due to COVID19. The conference received 1363 full papers, among which 365 have been accepted for publication. The article Consolidating Modal Knowledge Bases de Zied Bouraoui, Jean-Marie Lagniez, Pierre Marquis et Valentin Montmirail is one of the six papers to be distinguished.
Publication of A Guided Tour of Artificial Intelligence Research
The three volumes of “A Guided Tour of Artificial Intelligence Research” have just been published by Springer: Knowledge Representation, Reasoning and Learning AI Algorithms Interfaces and Applications of AI They constitute a large landscape of the research in artificial intelligence, with more than 1900 pages and 53 chapters written by 144 authors. This is the english version, completely updated and extended (by 500 pages), of a similar scope french publication by Cépaduès.