Skip to content
LACL Logo
  • Presentation
  • Teams
    • Logic, Computation and Programming
    • Systems Specification and Verification
  • Masters
  • Members
  • Publications
  • Seminar
  • Positions 2025
  • 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
  • Positions 2025
  • Contact
    • How to get here?
  • Log In
  • Français

Author: Adrien Le Coënt

2 postes de MCF à pourvoir au LACL

16 January 202503/02/2025Adrien Le Coënt

Le LACL offre 2 postes de MCF au concours pour la rentrée 2025 : voir page dédiée.

Next seminars
  • Execution-time opacity control for timed automata
    March 3, 2025
    Laetitia Laversa
  • TBA
    March 3, 2025
    Thibaut Benjamin
  • TBA
    March 10, 2025
    Rosalie Defourné
© 2025 LACL