https://www.cril.univ-artois.fr/feed.xml Le Centre de Recherche en Informatique de Lens (CRIL UMR 8188) est un laboratoire de l’Université d’Artois et du CNRS. Sa thématique de recherche fédératrice est l'intelligence artificielle et ses applications. Hugo fr Thu, 18 Jun 2026 14:00:00 +0200 https://www.cril.univ-artois.fr/seminars/2026-06-18-14-00-00-seminary/ Thu, 18 Jun 2026 14:00:00 +0200 https://www.cril.univ-artois.fr/seminars/2026-06-18-14-00-00-seminary/ When an LLM makes a decision, it typically returns a label and a confidence score. Yet neither tells us why the model decided that way, nor what kind of uncertainty lies behind the number. In this talk, I will present a way to open the model by routing its decisions through a layer of human-understandable concepts. This layer acts as an interface between perception and understanding. I will frame such models as supervised latent-variable models (SLVMs), with Concept Bottleneck Models as a concrete instantiation. https://www.cril.univ-artois.fr/seminars/2026-06-11-14-00-00-seminary/ Thu, 11 Jun 2026 14:00:00 +0200 https://www.cril.univ-artois.fr/seminars/2026-06-11-14-00-00-seminary/ Les LLMs sont désormais utilisés pour aider au développement d’applications. Un système comme open code permet d'expérimenter sur sa machine ce nouveau type d’outils. Il permet notamment de créer un environnement de développement à base d’agents spécialisés. Cette présentation est l’occasion d’échanger sur les possibilités offertes par des outils open source, et d’échanger sur les bonnes pratiques en termes de développement agentique souverain. https://www.cril.univ-artois.fr/seminars/2026-05-21-14-00-00-seminary/ Thu, 21 May 2026 14:00:00 +0200 https://www.cril.univ-artois.fr/seminars/2026-05-21-14-00-00-seminary/ The seminar will briefly describe the subject of the electric machines' design and optimization, highlighting the computational challenges, the main parameters, constraints, and needs in the contextof the future applications. Today's trends of Machine Learning (ML) utilization in this process will be summarized for the parametric optimization, topology optimization, and the new opportunities offered by the generative models. The conversation will thenbe opened to the questions and to explore the possibilities of research collaboration. https://www.cril.univ-artois.fr/posts/2026-05-19-essai26/ Tue, 19 May 2026 00:00:00 +0000 https://www.cril.univ-artois.fr/posts/2026-05-19-essai26/ Les cours suivants seront proposés à l’école d’été européenne d’intelligence artificielle du 6 au 10 juillet 2026 à Vienne, Autriche. 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 https://www.cril.univ-artois.fr/posts/2026-05-13-iclm26/ Wed, 13 May 2026 00:00:00 +0000 https://www.cril.univ-artois.fr/posts/2026-05-13-iclm26/ Les papiers suivants seront présentés à la 43ème conférence internationale d’apprentissage automatique (International Conference on Machine Learning, ICML) en juillet 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 https://www.cril.univ-artois.fr/posts/2026-05-13-acl26/ Wed, 13 May 2026 00:00:00 +0000 https://www.cril.univ-artois.fr/posts/2026-05-13-acl26/ Les papiers suivants seront présentés aux 64èmes rencontres internationales de l’association de linguistique computationnelle (Association for Computational Linguistics, ACL) en juillet 2026 : 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 https://www.cril.univ-artois.fr/posts/2026-05-12-satcp26/ Tue, 12 May 2026 00:00:00 +0000 https://www.cril.univ-artois.fr/posts/2026-05-12-satcp26/ Le papier suivant seront présentés à la 32ème conférence internationale sur les principes et les pratiques de la programmation par contraintes (CP'26) : Utility-Peak Itemset Mining with Constraint Programming Chaima Hamdi, Nadjib Lazaar, Nassim Belmecheri, Djawad Bekkoucha, Said Jabbour, Lakhdar Saïs Les papiers suivants sera présenté à la 29ème conférence internationale sur la théorie et les applications du test de cohérence (SAT'26) : decdnnf_rs: A framework for Querying d-DNNF Jean-Marie Lagniez, Emmanuel Lonca https://www.cril.univ-artois.fr/posts/2026-05-11-ijcai26/ Mon, 11 May 2026 00:00:00 +0000 https://www.cril.univ-artois.fr/posts/2026-05-11-ijcai26/ Cette année, ce seront 7 papiers du CRIL qui seront présentés à 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 https://www.cril.univ-artois.fr/seminars/2026-05-07-14-00-00-seminary/ Thu, 07 May 2026 14:00:00 +0200 https://www.cril.univ-artois.fr/seminars/2026-05-07-14-00-00-seminary/ L’IA a fait son entréedans l’administration de la justice dans plusieurs États, à l’échelle mondiale. Divers outils recourant à des techniques d’IA sont développés et déployés au sein des cours et des tribunaux pour la gestion des procédures, la recherche juridique, l’interprétationet la prédiction juridique ou encore l’aide à décision judiciaire. D’un côté, l’IA est une technologie puissante qui offre de réelles perspectives en vue de soutenir et renforcer l’accès à la justice. https://www.cril.univ-artois.fr/posts/2026-04-30-kr26/ Thu, 30 Apr 2026 00:00:00 +0000 https://www.cril.univ-artois.fr/posts/2026-04-30-kr26/ Les papiers suivants seront présentés à la 23ème conférence internationale sur la représentation des connaissances et raisonnements (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. Beynier, S.