Le CRIL en bref

présentation

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 plus de 60 membres : chercheurs, enseignants-chercheurs, doctorants et personnels administratifs et techniques.

Le CRIL participe à la Confédération Européenne de Laboratoires en Intelligence Artificielle CLAIRE 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.

En savoir plus

Publications récemment mises à jour

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.

Actualités  (RSS)

Thèses proposées SAT-based Approaches for Formal Verification with B method

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

En savoir plus

Séminaire Séminaire de Moncef Garouani - EILCO /ULCO University - LISIC Laboratory

Big industrial data mining through explainable automated machine learning
6 avr. 2023 - 14:00

Machine learning (ML) has penetrated all aspects of modern life, and brought more convenience and satisfaction for variables of interest. However, building such solutions is a time consuming and challenging process that requires highly technical expertise. This certainly engages many more people, not necessarily experts, to perform analytics tasks. While the selection and the parametrization of ML models require tedious episodes of trial and error. Additionally, domain experts often lack the expertise to apply advanced analytics.

En savoir plus

Recrutement Deux postes de MCF 27e section - CRIL (Lens) - Université d'Artois

30 mars 2023 - 00:00

Fiche de poste Galaxie 4416 Fiche de poste Galaxie 4417 Calendrier de la campagne de recrutement synchronisée 2023 Profil recherche des postes Le CRIL souhaite, par ces recrutements, renforcer ses axes de recherche, et en particulier l’axe “données” (apprentissage automatique / fouille de données) et l’axe “connaissances” de l’unité. Il ne s’agit que de coloriages thématiques : les candidatures de très bon niveau en dehors de ces coloriages (mais relevant de l’axe “contraintes” de l’unité et en phase avec son projet scientifique) ont toutes leurs chances.

En savoir plus

Séminaire Séminaire de Chahrazed LABBA - Loria - Université de Lorraine

L’Apprentissage Centralisé et l’Apprentissage Distribué : Avantages à Saisir et Défis à Relever
23 mars 2023 - 14:00

Le choix entre l’apprentissage machine centralisé ou distribué dépend des spécificités de chaque projet de machine learning. Alors que l’apprentissage centralisé est souvent plus simple et plus rapide à mettre en place, il peut être limité par la quantité de données disponibles et peut être coûteux en termes de ressources de stockage et de calcul. En revanche, l’apprentissage distribué, comme l’apprentissage fédéré, permet de traiter des données distribuées sur plusieurs appareils, ce qui peut être plus économique et améliorer la confidentialité des données, mais cela peut également introduire des défis liés à la coordination et à la qualité des données.

En savoir plus

Séminaire Séminaire de Sami Cherif - Université d'Aix Marseille

Raisonnement et inférence pour la satisfiabilité (maximum)
20 mars 2023 - 14:00

Au cœur de l’informatique et de l’intelligence artificielle, la logique est souvent utilisée comme un langage pour modéliser et résoudre des problèmes complexes issus du milieu académique ou d’applications industrielles. Un formalisme bien connu dans ce contexte est le problème de Satisfiabilité (SAT) qui vérifie simplement si une formule propositionnelle donnée sous la forme d’un ensemble de contraintes, appelées clauses, peut être satisfaite. Une extension naturelle de SAT en problème d’optimisation est la Satisfiabilité Maximum (Max-SAT), qui consiste à déterminer le nombre maximal de contraintes clausales pouvant être satisfaites dans la formule.

En savoir plus

Séminaire Séminaire de Bruno YUN, University of Aberdeen, UK

Exploring Inverse Problems for Gradual Semantics in Argumentation
16 mars 2023 - 15:30

Gradual semantics within abstract argumentation associate an acceptability score with every argument in a system, and from which a preference ordering over arguments can be derived. While some semantics operate over standard argumentation frameworks, many utilise a weighted framework, where a numeric initial weight is associated with each argument. Recent work has examined inverse problems for gradual semantics. For example: (i) Given an argumentation framework, a gradual semantics, and a preference ordering as inputs, what weights are needed over arguments in the framework to obtain the desired preference ordering?

En savoir plus

Séminaire Séminaire de Wissem Inoubli, LORIA Lab, KIT

L'apprentissage de représentation de graphes : opportunités et défis
16 mars 2023 - 14:00

Les graphes sont des structures de données puissantes qui peuvent représenter des relations et des interactions complexes entre des entités. Par conséquent, l'apprentissage de représentation des graphes a suscité une attention considérable ces dernières années en raison de son potentiel à permettre des prédictions, des recommandations et des prises de décision plus précises dans une variété de domaines. L'un des principaux avantages de l'apprentissage de la représentation de graphes est sa capacité à capturer les informations structurelles locales et globales ainsi que les informations sémantiques dans les graphes.

En savoir plus