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

Événements récents

JAF37
5 février 2018
Colloque MCU2018
5 février 2018
Colloque UCNC2018
5 février 2018

Prochains séminaires

Nombre de points fixes des réseaux booléen: Complexité algorithmique
24 septembre 2018
Florian Bridoux
Une perspective personnelle sur le problème de satisfaction de contraintes et ses variantes.
1 octobre 2018
Florent Madelaine
Modèle géométriques de programmes concurrents conservatifs
8 octobre 2018
Emmanuel Haucourt

© 2018 LACL