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 ».
Trois postes de MCF sont à pourvoir au LACL, thématiques prioritaires (voir les fiches pour les détails et les profils enseignements) : vérification, méthodes formelles, modèles de calcul, topologie, programmation, calculs parallèles ou distribué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.