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

Winning strategies that play the same at equivalent histories of equal length
27 mai 2019
Stéphane Le Roux
Introduction to Graph Edit Distance (GED) problem
3 juin 2019
Ibrahim Chegrane
Continuous models of computation: computability, complexity, universality
17 juin 2019
Amaury Pouly

© 2019 LACL