Skip to content

Présentation
Équipes
- Logique, calcul et programmation
- Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
- Comment venir ?
Connexion

Présentation
Équipes
- Logique, calcul et programmation
- Spécification et vérification de systèmes
Masters
Membres
Publications
Séminaire
Contact
- Comment venir ?
Connexion

TBA

3 mars 2025

Rosalie Defourné (IRIT)

TBA

Navigation de l’article

Actualités

2 postes de MCF à pourvoir au LACL
16/01/2025

Prochains séminaires

Pessimism of the Will, Optimism of the Intellect: Fair Protocols with Malicious but Rational Agents
27 janvier 2025
Mathieu Sassolas
TBA
10 février 2025
Jérôme Feret
TBA
28 avril 2025
Franck Pommereau

© 2025 LACL