| CARVIEW |
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.
- (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.