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

Adrien Le Coënt

Assistant Professor at the Faculty of Sciences and Technology
Team Systems Specification and Verification

Office: P222
Email:
Phone +33:
Fax +33:

Post navigation

Luc Pellissier

Next seminars
  • Rice-like theorems for automata networks
    February 1, 2021
    Guilhem Gamard
  • TBA
    February 8, 2021
    Guillaume Dupont
  • A type theoretic appraoch to weak omega-categories
    February 15, 2021
    Thibaut BENJAMIN
© 2021 LACL