Skip to content
LACL Logo
  • Présentation
  • Équipes
    • Logique, calcul et programmation
    • Spécification et vérification de systèmes
  • Masters
  • Membres
  • Publications
  • Séminaire
  • Contact
    • Comment venir ?
  • Connexion
  • English
LACL Logo
  • Présentation
  • Équipes
    • Logique, calcul et programmation
    • Spécification et vérification de systèmes
  • Masters
  • Membres
  • Publications
  • Séminaire
  • Contact
    • Comment venir ?
  • Connexion
  • English

Mehdi Haddad

Maître de conférences à l'ESIAG
Équipe Spécification et vérification de systèmes

Bureau: P2 212
Email: mehdi.haddad@u-pec.fr
Tél. +33: 01 45 17 16 35
Fax +33: 01 45 17 66 01

Navigation de l’article

Christophe Gnaho
Régine Laleau

Prochains séminaires

  • Exact reductions of dynamical systems
    30 janvier 2023
    Gleb Pogudin
  • ∂ is for Dialectica
    13 février 2023
    Marie Kerjean
© 2023 LACL