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

On the semantics of higher-order probabilistic programs
20 mai 2019
Jean Goubault Larrecq
TBA
27 mai 2019
Stéphane Le Roux
Introduction to Graph Edit Distance (GED) problem
3 juin 2019
Ibrahim Chegrane

© 2019 LACL