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).

Learn more

Recently updated publications

2023 Takehide Soh, Morgan Magnin, Daniel Le Berre, Mutsunori Banbara, Naoyuki Tamura, SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued Networks in 14th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS 2023), SCITEPRESS, 2023.
2023 Anthony Blomme, Daniel Le Berre, Anne Parrain, Olivier Roussel, Compressing UNSAT Search Trees with Caching in ICAART 2023 : 15th International Conference on Agents and Artificial Intelligence, 2023.
2023 Thibault Falque, Bertrand Mazure, Karim Tabia, Predicting off-block delays: A case study at Paris-Charles de Gaulle International Airport in 15th International Conference on Agents and Artificial Intelligence (ICAART 2023), vol. 2, pp. 180-189, 2023.
2023 Thibault Falque, Bertrand Mazure, Karim Tabia, Prédire et expliquer les retards au décollage : Une étude de cas à l'aéroport international de Paris-Charles de Gaulle in 23ème conférence francophone sur l'extraction et la gestion des connaissances (EGC 2023), vol. RNTI-E-39, 2023.
2022 Jean Lieber, Jean-Guy Mailly, Pierre Marquis, Henri Prade, François Rollin, Quelques réflexions autour de la notion de bêtise artificielle in 16èmes Journées d’Intelligence Artificielle Fondamentale (Plate-Forme Intelligence Artificielle) (JIAF 2022), pp. 1-11, 2022.

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.

Learn more

Pierre Marquis becomes AAIA Fellow

Oct 7, 2022 - 0:00 am

Pierre Marquis has been nominated Asia-Pacific Artificial Intelligence Association (AAIA) Fellow. The list of AAIA Fellows is available on the association website.

Learn more

IPMU'22 outstanding paper award for Sara Kebir

Jul 20, 2022 - 0:00 am

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.

Learn more

Accepted papers at IJCAI'22

Jul 13, 2022 - 0:00 am

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

Learn more

Gilles Audemard receives CAV 2021 award

Jul 24, 2021 - 0:00 am

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.

Learn more

An article co-authored by CRIL's members distinguished at ECAI'2020

Aug 31, 2020 - 0:00 am

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.

Learn more

Publication of A Guided Tour of Artificial Intelligence Research

May 28, 2020 - 0:00 am

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.

Learn more