Some Talks

  • A talk at Seminar 68NQRT, Rennes
  • A talk at project ANR MAVeriQ, Paris
  • A talk at MSR 2019, Angers
  • A talk at MSR 2017, Marseille and at Inria Rennes in February 2018
  • A talk at Centre Fédéré de Vérification, Bruxelles
  • A talk at IDC 16
  • A talk at VECOS 16 (also at GT-Verif 2014, at seminar SASEFOR and at University of Torino)
  • A talk (extended version) at Inria Rennes
  • A talk at EJCIM 15