Stéphane Demri
Senior researcher, CNRS
- Computer Science at ENS de Cachan
- 22nd European Summer School in Logic, Language and Information,
University of Copenhagen, Denmark, August, 2010
(ESSLLI 2010)
- Web page of the course
"Decidable Problems for Counter Systems", ESSLLI 2010.
- 4th International Workshop on Reachability Problems, Brno, Czech Republic,
August 27--29, 2010 (RP'2010)
-
8th Conference on Advances in Modal Logic, Moscow, August 2010.
(AIML'10)
-
17th International Symposium on Temporal Representation and Reasoning, Paris,
September 6-8, 2010
(TIME'10).
- 12th European Conference on Logics in Artificial Intelligence, Helsinki,
September 13-15, 2010
( JELIA 2010).
- Recent talks
- Lecture notes
- PGP Key
