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

Anael Grandjean

Post-doctorant
Équipe Logique, calcul et programmation
Encadré par

Bureau: P2-228
Email: anael.grandjean@u-pec.fr
Tél. +33: 0145171647
Fax +33: 0145176601

Navigation de l’article

Meriem Afendi
Asma Omri

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

Prochains séminaires
  • The power of programs over monoids taken from some small varieties of finite monoids
    18 février 2019
    Nathan Grosshans
  • TBA
    18 mars 2019
    Sébastien Labbé
  • TBA
    25 mars 2019
    Etienne Moutot
© 2019 LACL