Skip to content

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

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

Accueil

Laboratoire d’Algorithmique, Complexité et Logique

Équipe d’Accueil 4219, École Doctorale MSTIC

Actualités

3 Postes de MCF
15 janvier 2020

Prochains séminaires

Network Inference: Graph reconstruction and verification
3 février 2020
Hang Zhou
Vacances scolaires
10 février 2020
Vacances scolaires
17 février 2020

© 2020 LACL