Skip to content

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

Presentation
Teams
- Logic, Computation and Programming
- Systems Specification and Verification
Masters
Members
Publications
Seminar
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

Next seminars

Formalization in Coq of adhesive category theory
November 25, 2024
Samuel Arsac
A refutation of pebble minimisation via macro tree transducers (and linear λ-calculus?)
December 2, 2024
Lê Thành Dũng (Tito) Nguyễn
TBA
December 16, 2024
Thomas Chatain

© 2024 LACL