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

Anatol Slissenko

Professor
Team Systems Specification and Verification

Office: P2 217
Email: anatol.slissenko@sfr.fr
Phone +33:
Fax +33:

More details

Post navigation

Emmanuel Polonowski
Antoine Spicher

Next seminars
  • TBA
    December 11, 2023
    Richard Matthews
  • TBA
    December 18, 2023
    Benoît Delahaye
  • TBA
    January 15, 2024
    Yann Thierry-Mieg
© 2023 LACL