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 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.
-
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
- Le 24/10/2025 à 15h, soutenance de thèse d'Ahmed Mimouni salle P4-423
- Nouveau site web !
Prochains séminaires
