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

Baba Fayçal

Doctorant
Équipe Spécification et vérification de systèmes
Encadré par Régine Laleau, Amel Mammar (TSP), Marc Frappier (Université de Sherbrooke, Québec)

Bureau:
Email: faycal.baba@u-pec.fr
Tél. +33:
Fax +33:

Navigation de l’article

Théo Grente
Mariem Hammami

Actualités

  • Poste de MCF à pourvoir au LACL
    10/03/2022

Prochains séminaires

  • tba
    20 juin 2022
    Cüneyt Güzelis
© 2022 LACL