Stéphane Demri
Senior researcher, CNRS
-
ANR Project
REACHARD
on taming hard reachability problems.
-
PhD Positions
within the REACHARD Project. Apply now !
-
ANR Project
DynRes
on dynamic resources and separation and update logics
- Computer Science at ENS de Cachan
-
How to submit an article to the journal Fundamenta Informaticae
-
Symposium of Theoretical Aspects of Computer Science, 29/02-03/03 2012.
(STACS 2012)
-
LfSA 2012 - Logics for System Analysis, Berkeley, July 7th, 2012.
(LfSA 2012)
-
Advances in Modal Logic 2012, Copenhagen, 22-25/08 2012.
(AIML 2012)
-
6th International Workshop on Verification and Evaluation of
Computer and Communication Systems, Paris, 27-28 August 2012.
(VECoS 2012)
-
19th International Symposium on Temporal Representation and Reasoning,
Leicester, UK, September 2012 (TIME12)
- Recent talks
- Lecture notes
- PGP Key
