Skip to content

Présentation
Équipes
- Logique, calcul et programmation
- Spécification et vérification de systèmes
Masters
Membres
Publications
Postes 2025
Séminaire
Contact
- Comment venir ?
Connexion

Présentation
Équipes
- Logique, calcul et programmation
- Spécification et vérification de systèmes
Masters
Membres
Publications
Postes 2025
Séminaire
Contact
- Comment venir ?
Connexion

TBA

16 juin 2025

Réservé

TBA

Navigation de l’article

Actualités

2 postes de MCF à pourvoir au LACL
16/01/2025

Prochains séminaires

TBA
12 mai 2025
Kostia Chardonnet
Containment for Guarded Monotone Strict NP
19 mai 2025
Alexey Barsukov
TBA
23 juin 2025
Jean-Marc Talbot

© 2025 LACL