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
12 octobre 2020
Adrien Le Coënt
(LACL)
Navigation de l’article
La réalisabilité, de Curry Howard au Forcing
Simulation et synthèse garantie de Systèmes Cyber-Physiques
