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

27 novembre 2023

George Katsirelos (MIA Paris-Saclay, INRAE)

TBA

Navigation de l’article

Prochains séminaires

Génération automatique de code parallèle isochrone
2 octobre 2023
Thibaut Tachon
TBA
9 octobre 2023
Sergiu Ivanov
Inside and Beyond Decisiveness for Infinite Probabilistic Models
16 octobre 2023
Lina Ye

© 2023 LACL