Stéphane Demri

Senior researcher, CNRS

• Selected Publications

• 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
  
  
• Symposium of Theoretical Aspects of Computer Science, 29/02-03/03 2012. (STACS 2012)
  
  
• IJCAR'2012 Workshop on Comparing Logical Decision Methods, Manchester, June 30th, 2012. (CLoDeM'2012)
  
  
• Advances in Modal Logic 2012, Copenhagen, 22-25/08 2012. (AIML 2012)
  
  
• Recent talks
  
  
• Lecture notes
  
  
• PGP Key
  
  

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact

• École Normale Supérieure de Cachan
• Centre National de la Recherche Scientifique