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

Profil de poste
22 mai 2016

Événements récents

EMSICC’14
22 août 2014
TPMCC’14
22 avril 2014
SCW’14
22 mars 2014

Prochains séminaires

TBA
28 novembre 2016
Aymerick Savary
An Abstraction Technique For Parameterized Model Checking of Leader Election Protocols
14 novembre 2016
Ocan Sankur
TBA
7 novembre 2016
Nicolas Basset

© 2016 LACL