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
28 avril 2025
Franck Pommereau
(IBISC, Université d'Évry)
TBA
Navigation de l’article
Pessimism of the Will, Optimism of the Intellect: Fair Protocols with Malicious but Rational Agents
TBA