24 avr. 2025  Séminaire de Naoual GUANNONI 

Extraction des solutions multiples et équivalentes pour le problème de classification des données biomédicales

14:00

17 avr. 2025  Séminaire de Matthieu Dabrowski

Méthodes d’apprentissage profond inspirées par la physique pour l’inférence de la qualité de l’air

14:00

10 avr. 2025  Séminaire d'Arthur Hoarau

Réduction des coûts en IA et explications incertaines

15:00

10 avr. 2025  Séminaire de Olfa Mechi

Transcription de texte dans les images de documents d’archives

14:00

3 avr. 2025  Séminaire de Sarah Degaugue

Towards an adaptive conflict resolution decision support tool for air traffic control.

14:00

27 mars 2025  Séminaire Hénoïk Willot

Explications certifiées pour modèles robustes

15:00 • Zoom

27 mars 2025  Séminaire de Munyque Mittelmann

Strategic Reasoning with Quantitative Goals

14:00 • Zoom

20 mars 2025  Séminaire de Zouhaira Ayadi

Graphe, ontologie et CSP pour l'interprétation spatiale et spatio-temporelle des connaissances dans un environnement incertain

15:00

20 mars 2025  

Fouille de motifs fréquents dans les multi-graphes: apport de l’apprentissage profond et des architectures neuronales

14:00

12 déc. 2024  Séminaire de Carlos Aguilera Ventura - IRIT 

Minimal Change in Modal Logic S5

14:00 • Salle G201

28 nov. 2024  Séminaire de Damien SILEO - Inria, Lille

Improving large langauge models reasoning with adaptive formal reasoning datasets

14:00

21 nov. 2024  Séminaire de Alexandre Dubray - UC Louvain 

Modeling and Solving Probabilistic Inference Model with Projected Weighted Model Counting

14:00

7 nov. 2024  Séminaire de Francine Monchau , Olivier Carpentier et Nabil HIHAT - LGI2A -

Analyse d’une chaine numérique pour développement de dispositifs médicaux implantables adaptatifs réalisés par fabrication additive.

14:00

9 oct. 2024  Conférence Sébastien Konieczny (CRIL) – EurAI Fellow 2024

Changement de croyances et états épistémiques

14:00

5 sept. 2024  Séminaire de Esteban Marquer - Loria, Nancy. 

Operationalizing analogical proportions in embedding spaces using deep learning

14:00

20 juin 2024  Séminaire de Arthur Ledaguenel - IRT SystemX

Neural Classification Informed by Prior Knowledge

14:00

16 mai 2024  Séminaire de Harry Vinall-Smeeth, TU Ilmenau, Germany

Knowledge Compilation, Rectangles and Lower Bounds

14:00

4 avr. 2024  Séminaire de Guillaume Lagarde : Université de Bordeaux, LaBRI

Scaling Neural Program Synthesis with Distribution-based Search

14:00 • Salle des thèses

29 févr. 2024  Séminaire de Vincent Derkinderen KU Leuven

ProbLog: Harnessing Knowledge Compilation for Probabilistic Inference in AI

14:00

22 févr. 2024  Séminaire Emmanuel Lonca, CRIL. 

Clustercril v2024: CRIL cluster, Slurm & good practices

14:00

14 déc. 2023  Séminaire de Celine Hocquette, Oxford University, UK

Inductive learning of logic programs

14:00 • Salle des thèses

16 nov. 2023  Séminaire de Khaled Belahcene, MICS, CentraleSupélec, Paris-Saclay University, France

Raisonnement et explications pour les modèles robustes de préférences redistributives

13:00

2 nov. 2023  Séminaire de Quentin Manière, Department of Computer Science, ScaDS.AI, Leipzig University, Germany

Querying Circumscribed Description Logic Knowledge Bases

14:00

12 oct. 2023  Séminaire autour du projet MAIA

Présentation du projet MAIA

14:00

17 juil. 2023  Séminaire de Kuldeep Meel - University of Toronto

Distinct Elements in Streams: An Algorithm for the (Text) Book.

14:30