Senior researcher, CNRS
Director of LSV
A postdoctoral research position for one year is available from the spring 2019
about "Parameter synthesis for resource-bounded logics".
Please contact me in case of interest.
Course "Initiation to research",
workshop "Scientific watch and separation logics" (Nov. 2018 -- Dec. 2018).
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, UK, January 20th, 2020.
- Recent talks
- Lecture notes
- PGP Key