Skip to content
LACL Logo
  • Presentation
  • Teams
    • Logic, Computation and Programming
    • Systems Specification and Verification
  • Masters
  • Members
  • Publications
  • Seminar
  • Contact
    • How to get here?
  • Log In
  • Français
LACL Logo
  • Presentation
  • Teams
    • Logic, Computation and Programming
    • Systems Specification and Verification
  • Masters
  • Members
  • Publications
  • Seminar
  • Contact
    • How to get here?
  • Log In
  • Français

Léo Tible

PhD student
Team Systems Specification and Verification
Supervised by Youssouf Oualhadj et Daniele Varacca

Office: P2 214
Email: leo.tible@lacl.fr
Phone +33: 01 45 17 16 47
Fax +33:

Post navigation

Baba Fayçal

Next seminars
  • Reversible Transducers over Infinite Words
    January 6, 2025
    Luc Dartois
  • TBA
    January 27, 2025
    Mathieu Sassolas
  • TBA
    February 3, 2025
    Réservé
© 2024 LACL