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

Aurore Alcolei

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

Bureau: P2-211
Email: aurore.alcolei@lacl.fr
Tél. +33: 1 45 17 16 50
Fax +33:

Navigation de l’article

Willliam Gaudelier

Prochains séminaires
  • Synthesizing rational behaviors while caring for resources
    3 octobre 2022
    Catalin Dima
© 2022 LACL