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 tiendront 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
- Nouveau site web !
Prochains séminaires
