Serge Haddad

Professor, ENS Paris-Saclay

  • 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
  • Forthcoming events (in which I am involved)
  • About LSV

        

    Contact

    Serge Haddad
    Address
    LMF, CNRS & ENS Paris-Saclay
    4, avenue des Sciences
    91190 Gif-sur-Yvette, France
    Office
    Bâtiment Nord, office 3S59
    Phone
    Secr.
    E-Mail
    shaddad꩜lmf.cnrs.fr