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

Gaétan Hains

Professor at the Faculty of Sciences and Technology
Team Systems Specification and Verification

Office: P2 220
Email: gaetan.hains@u-pec.fr
Phone +33:
Fax +33:

Post navigation

Grégory Lafitte
Damien Busatto-Gaston

Next seminars
  • Génération automatique de code parallèle isochrone
    October 2, 2023
    Thibaut Tachon
  • TBA
    October 9, 2023
    Sergiu Ivanov
  • Inside and Beyond Decisiveness for Infinite Probabilistic Models
    October 16, 2023
    Lina Ye
© 2023 LACL