Senior researcher, CNRS
- Recent talks
- Lecture notes
- Course "Logical Aspects of AI" (2021 -- 2022). See the page of the course
Proud member of the group Theory of structured data
in the LIA SINFIN.
GDR IA: Aspects Formels et Algorithmiques de l'Intelligence Artificielle
How to submit an article to Fundamenta Informaticae
How to submit an article to Bulletin of the Section of Logic
Second Workshop on Automated Deduction for Separation Logics
New Orleans, Louisiana, USA, January 20th, 2020.
34th AAAI Conference on Artificial Intelligence
New York, NY, USA, February 7-12, 2020.
International Joint Conference on Automated Reasoning (IJCAR 2020),
Paris, France, July 2020
29th International Joint Conference on Artificial Intelligence
(IJCAI'20), Yokohama, July 2020.
13th International Conference on
Advances in Modal Logic (AiML 2020),
Helsinki, Finland, August 2020
Highlights of Logic, Games and Automata 2020
Aachen, Germany, September 14-18, 2020
Third International Workshop on Formal Methods in Artificial Intelligence
April 2021, London, UK
28th International Conference on Automated Deduction
July 2021, Pittsburgh, USA
30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Birmingham, UK, September 6-9, 2021
- PGP Key