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 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)
Paper accepted at LICS'25
The following paper will be presented at the Fortieth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Singapore, 23–26 June 2025: Max Bannach, Erik D. Demaine, Timothy Gomez and Markus Hecher: #P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought? Summary of the contribution: It establishes a substantially more fine-grained view on counting, showing that while #2CNF/#2DNF is not hard alone (one-shot reduction), if you can do two of these counting calls, then you easily reach #P.
Papers accepted at IJCAI'25
This year, there will be 8 papers from CRIL presented at IJCAI 2025! Main track A SAT-based Method for Counting All Singleton Attractors in Boolean Networks Rei Higuchi, Takehide Soh, Daniel Le Berre, Morgan Magnin, Mutsunori Banbara and Naoyuki Tamura Iterated Belief Change as Learning Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny and Pierre Marquis A Game-Theoretic Perspective on Inconsistency Handling Yakoub Salhi Facets in Argumentation: A Formal Approach to Argument Significance Johannes K.
Recruitment Poste de MCF 27e section - CRIL (Lens) - Faculté des sciences Jean Perrin - Université d'Artois
Informations générales Etablissement : 0623957P – UNIVERSITE ARTOIS Numéro dans le SI local : 0028 Corps : MAITRE DE CONFERENCES Article de référence : 26-I-1° Section(s) : 27 - Informatique Etat du poste : Vacant Calendrier du poste Type de campagne : Synchronisée Date de prise de fonctions du poste : 01/09/2025 Date de publication du poste : 12/02/2025 Ouverture des candidatures : 04/03/2025 10:00, heure de Paris Clôture des candidatures : 04/04/2025 16:00, heure de Paris
Recruitment Poste de MCF 27e section - CRIL (Lens) - IUT de Lens - Université d'Artois
Préambule Le candidat doit relever de l’une des catégories suivantes : Personnels enseignants titulaires de l’enseignement du second degré exerçant leurs fonctions en cette qualité dans un établissement d’enseignement supérieur depuis au moins trois ans au 1er janvier de l’année du concours ; Pensionnaires des écoles françaises à l’étranger et anciens pensionnaires de ces écoles ayant terminé leur scolarité depuis moins de deux ans au 1er janvier de l’année du concours et comptant, à cette même date, au moins trois ans d’ancienneté en qualité de pensionnaire.