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

Léa Marziyeh Bayati

Doctorant
Équipe Spécification et vérification de systèmes
Encadré par

Bureau: P2-211
Email: assal.bayati@lacl.fr
Tél. +33: 145171647
Fax +33: 145176601

Navigation de l’article

Paul-Elliot Angles d’Auriac
Shang Zeyi

Événements récents
  • Soutenance de thèse de Guy Lahlou DJIKEN
    14 décembre 2018

Prochains séminaires
  • Algèbre, pavages et Nivat
    6 mai 2019
    Etienne Moutot
  • Continuous models of computation: computability, complexity, universality
    13 mai 2019
    Amaury Pouly
  • On the semantics of higher-order probabilistic programs
    20 mai 2019
    Jean Goubault Larrecq
© 2019 LACL