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

  • Les 20 ans de Mefosyloma auront lieu le 23 janvier 2026. Ces journées sont organisées au LIP6 et conjointement par les laboratoire franciliens membres du dispositif.

  • La 26e édition de la conférence internationale Principles and Practice of Multi-Agent Systems (PRIMA) a lieu du 16 au 19 décembre 2025 à Modène (Italie). Elle est présidée par Catalin Dima, Angelo Ferrando et Vadim Malvone et l'une des conférences principales et parmi les plus influentes dans le domaine des systèmes multi-agent.

  • 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.

  • 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.

Prochains séminaires

Plan d'accès

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