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

Prochains séminaires

Small complexity classes for cellular automata, dealing with diamond and round neighborhood
25 septembre 2017
Anaël Grandjean
TBA
2 octobre 2017
Étienne André
Coinduction and automata algorithms
9 octobre 2017
Damien Pous

© 2017 LACL