Senior researcher, CNRS
Director of LSV
- Course "Logical Aspects of AI" (2019 -- 2020). See the page of the course
Temporal Logics in Computer Science,
Cambridge University Press.
Web page dedicated to the book with a forum, material, errata etc. (on construction).
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
International Joint Conference on Automated Reasoning (IJCAR 2018),
Oxford, UK, July 2018
First Workshop on Automated Deduction for Separation Logics
Oxford, UK, July 13th, 2018
27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence
(IJCAI-ECAI-18), Stockholm, July 9-19 2018.
Logic Colloquium 2018, Udine, July 2018.
12th International Conference on
Advances in Modal Logic (AiML 2018),
Bern, Switzerland, August 2018
25th International Symposium on Temporal Representation and Reasoning
Warsaw, Poland, 15--17 October 2018
28th International Joint Conference on Artificial Intelligence
(IJCAI'19), Macao, August 10-16 2019.
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
13th International Conference on
Advances in Modal Logic (AiML 2020),
Helsinki, Finland, August 2020
- Recent talks
- Lecture notes
- PGP Key