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

Luc Dartois

Assistant Professor at the IUT Sénart/Fontainebleau
Team Systems Specification and Verification

Office: P2-223
Email: luc.dartois@lacl.fr
Phone +33: 01 45 17 14 75
Fax +33: 01 45 17 66 01

Post navigation

Florent Madelaine

Next seminars
  • Controlling a random population
    January 27, 2020
    Pierre Ohlmann
  • Network Inference: Graph reconstruction and verification
    February 3, 2020
    Hang Zhou
  • Vacances scolaires
    February 10, 2020
© 2020 LACL