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

Frédéric Gava

Assistant Professor (HdR) at the ESIAG
Team Systems Specification and Verification

Office: P2 211
Email: gava@u-pec.fr
Phone +33: 01 45 17 14 75
Fax +33: 01 45 17 66 01

More details

Post navigation

Catalin Dima
Frédéric Gervais

Next seminars

  • ∂ is for Dialectica
    February 13, 2023
    Marie Kerjean
© 2023 LACL