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

Soutenance de thèse de Guy Lahlou DJIKEN
14 décembre 2018

Prochains séminaires

Algèbre, pavages et Nivat
6 mai 2019
Etienne Moutot
Continuous models of computation: computability, complexity, universality
13 mai 2019
Amaury Pouly
On the semantics of higher-order probabilistic programs
20 mai 2019
Jean Goubault Larrecq

© 2019 LACL