n°RNSR : 200715457A
Le LACL est spécialisé en informatique fondamentale et travaille dans les thématiques de la calculabilité, de la logique, des automates et de la vérification formelle.
Le laboratoire LACL est organisé selon 2 axes, avec des interactions entre eux :
Les évaluations du LACL sont disponibles en ligne : 2024, 2019, 2015. Le dernier document d'auto-évaluation est téléchargeable : document principal et partie « Les thématiques scientifiques et leurs enjeux ».
Le 28 mai a lieu la journée P-ACTS organisée par Paul Brunet. Il s'agit du Paris Automata and Concurrency Theory Seminar, il aura lieu à Créteil de 14h à 17h, en salle P4-423 [Plus d'informations].
La LACL organise l'école jeune chercheuses et chercheurs à Vitry du 29 juin au 4 juillet avec comme thématique Le raisonnement et sa structure au-délà du fini [Plus d'informations]
Co-organisée par le LACL, la 19e édition du symposium international High-Level Parallel Programming and Applications (HLPP 2026) se tiendra les 9 et 10 juillet 2026 à Paris. L'événement est consacré aux avancées en programmation parallèle de haut niveau et à ses applications.
La conférence internationale Artificial Intelligence & Mathematical Sciences (AIMS2026) aura lieu les 7 et 8 juillet 2026 à l'Université Paris-Est Créteil (UPEC). Co-organisée par le LACL, elle réunira chercheurs et praticiens autour des interactions entre intelligence artificielle et sciences mathématiques.