Exposés

Année 2011

  1. séminaire Choco le 6 avril 2011: mes transparents
  2. workshop réalisabilité à Chambéry le 16 juin 2011: mes transparents
  3. workshop Coq le 26 août 2011: mes transparents

Année 2012

  1. École Jeunes Chercheurs du 22 mars 2012: mes transparents
  2. séminaire CHoCoLa le 15 novembre 2012: mes transparents

Année 2013

Mes exposés se concentrent autour du cœur de ma thèse, l'interprétation calculatoire du forcing en réalisabilité classique.
  1. workshop réalisabilité à Chambéry le 6 juin 2013: mes transparents
  2. une version technique donnée par exemple au groupe de travail Plume ou au séminaire Logique et interactions de l'IML.
  3. une version moins technique donnée en autres au séminaire de l'équipe CPR et aux journées des GdT LAC (GdR IM) et GdT LTP (GdR GPL).
  4. la présentation de mon article à CSL 2013: mes transparents

Année 2014

  1. ma thèse le 17 juin 2014
  2. workshop Synchron 2014 le 4 décembre 2014: mes transparents

Année 2015

  1. Preuves en Coq sur les réseaux de robots et sur Esterel au LORIA et au worshop Chronos
  2. workshop Synchron 2015 le 30 novembre 2015: mes transparents