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

Fast and Reliable DWARF-based Stack Unwinding
23 septembre 2019
Francesco Zappa Nardelli
Generation of Signals under Temporal Constraints for CPS Testing
30 septembre 2019
Benoit Barbot
Soutenance HDR – Subshifts: aperiodicity, complexity and groups
7 octobre 2019
Pascal Vanier

© 2019 LACL