Laboratoire d’Algorithmique, Complexité et Logique

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 :
  • (LCP) Logique Calcul et Programmation
  • (SVS) Spécification et vérification de systèmes

Actualités

  • Du 01/12/2025 au 12/12/2025, c'est la Quinzaine du droit du numérique, événement en partenariat avec LACL, le MIL, le LDP et l'UFR de droit.

  • Dans le cadre du projet de recherche pluridisciplinaire iag4upec, Gaétan Hains présentera durant le webinaire de jeudi 6 novembre 2025 à 14h un travail intitulé :

    « Equilibrer performance et énergie, Analyse multi-plateforme des grands modèles de langage quantisés ».

    Pour y assister, vous pouvez vous connecter à cette adresse

  • Les journées annuelles du GT‑Vérif se tiennent du 05/11/2025 au 07/11/2025 au LACL, les informations sur l'événement se trouvent ici.
  • Le 24/10/2025 à 15h, soutenance de thèse d'Ahmed Mimouni salle P4-423

Prochains séminaires

Plan d'accès

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