4 déc. 2025  Séminaire de Nicolas Schwind

Iterated Belief Change as Learning

14:00

23 oct. 2025  Séminaire de Markus Hecher

#P is Sandwiched by One and Two #2DNF Calls: Is Subtraction Stronger Than We Thought?

14:00

16 oct. 2025  Séminaire de David Ing

On Integrating Logical Analysis of Data into Random Forests

14:00

9 oct. 2025  Séminaire d'Antoine Berthier - IRT-systemx

Alignment and Interpretation of Language Models through Activation Engineering

14:00

2 oct. 2025  Séminaire de Johannes Fichte

Complex and Faceted Reasoning

14:00

25 sept. 2025  Séminaire de Frédéric MARÇON - Laboratoire AGIR UR 4294 - Université de Picardie Jules Verne

Impact des chocs et vibrations sur la stabilité des biothérapies : Quels apports des données de vie réelle et de l’IA pour établir les recommandations ?

14:00

18 sept. 2025  Séminaire de Yasmina Beddar, Ingénieure Projets Européens - IRIT

Présentation Projets Européens

14:00

11 sept. 2025  Séminaire de Chi Tran Nguyen Duong et Frédéric Koriche

Probabilistic Explanations for Regression Problems

14:00

4 sept. 2025  Séminaire de Daniel LeBerre

SAT-based Models at SAT25 and IJCAI25

14:00

26 juin 2025  Séminaire d'Yves Lepage

Formalisation de l’analogie numérique, application à la reconstruction d’images

14:00

19 juin 2025  Séminaire de Virginie Justin Labonne

Accords Couperin

14:00 • Salle des Thèses

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