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

Régine Laleau

Professor at the IUT Sénart/Fontainebleau
Directeur du LACL
Team Systems Specification and Verification

Office: P2 212
Email: laleau@u-pec.fr
Phone +33: 01 45 17 65 97
Fax +33: 01 45 17 66 01

More details

Post navigation

Mehdi Haddad
Luidnel Maignan

Next seminars
  • Formalization in Coq of adhesive category theory
    November 25, 2024
    Samuel Arsac
  • A refutation of pebble minimisation via macro tree transducers (and linear λ-calculus?)
    December 2, 2024
    Lê Thành Dũng (Tito) Nguyễn
  • TBA
    December 16, 2024
    Thomas Chatain
© 2024 LACL