Serge Haddad Some Talks


  • A talk, at the 68NQRT seminar, Rennes, 29/11/2022
  • A talk at project ANR MAVeriQ, Paris, 09/03/2022
  • A talk at Modélisation des Systèmes Réactifs 2019, Angers, 13/11/2019
  • A talk at Modélisation des Systèmes Réactifs 2017, Marseille, 16/11/2017 and at Inria Rennes in February 2018
  • A talk at Centre Fédéré de Vérification, Bruxelles, 24/02/2017
  • A talk, at the 10th Intelligent Distributed Computing, Paris, 11/10/2016
  • A talk at the 10th International Workshop on Verification and Evaluation of Computer and Communication Systems, Tunis, 06/10/2016 (also at GT-Verif 2014, at seminar SASEFOR and at University of Torino)
  • A talk (extended version) at the 68NQRT seminar, Rennes, 17/09/2015