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

Théo Grente

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

Bureau:
Email:
Tél. +33:
Fax +33:

Navigation de l’article

Léo Tible
Baba Fayçal

Prochains séminaires
  • TBA
    18 octobre 2021
    Olivier Bournez
  • tba
    15 novembre 2021
    Mahsa Shirmohammadi
  • TBA
    24 janvier 2022
    Nathan Grosshans
© 2021 LACL