Stéphane Demri
Senior researcher, CNRS
Director of LSV
- Course "Logical Aspects of AI" (2019 -- 2020). See the page of the course
here.
-
New book:
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
(ADSL)
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
(TIME 2018),
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
(ADSL 2020)
New Orleans, Louisiana, USA, January 20th, 2020.
-
34th AAAI Conference on Artificial Intelligence
(AAAI-20)
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
