Presentations

Slides in english

Transparents en francais

  • Un tour dans les etoiles : un etat de l'art selectif en logique de separation (ANR Panda, dec. 2009)
  • Programmes concurrents non-bloquants : exemples, propriétés fonctionnelles, propriétés de progrès. (Choco, fev. 2009)
  • L'accessible étoile : une introduction à la verification de programmes à pointeurs en logique de separation. (Barbizon-Trouville, 2008)
  • Journée nouveaux entrants de Cachan : bonjour Cachan! (Cachan, 2005)
  • À propos du LSV