Skip to content

Presentation
Teams
- Logic, Computation and Programming
- Systems Specification and Verification
Masters
Members
Publications
Seminar
Positions 2025
Contact
- How to get here?
Log In

Presentation
Teams
- Logic, Computation and Programming
- Systems Specification and Verification
Masters
Members
Publications
Seminar
Positions 2025
Contact
- How to get here?
Log In

Home

Algorithmic, Complexity and Logic Laboratory

n°RNSR : 200715457A

Univ Paris Est Creteil, LACL, F-94010 Creteil, France

News

2 postes de MCF à pourvoir au LACL
16/01/2025

Next seminars

TBA
June 23, 2025
Jean-Marc Talbot
TBA
September 22, 2025
Carola Doerr

© 2025 LACL