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

Farida Semmak

Assistant Professor at the ESIAG
Team Systems Specification and Verification

Office: P2 222
Email: semmak@u-pec.fr
Phone +33: 01 45 17 65 89
Fax +33: 01 45 17 66 01

More details

Post navigation

Mathieu Sassolas
Anatol Slissenko

Next seminars

  • TBA
    January 13, 2020
    Yann Strozecki
  • TBA
    January 20, 2020
    Samuel Petite
  • Controlling a random population
    January 27, 2020
    Pierre Ohlmann
© 2019 LACL