Évènements
Rechercher un événement
20
Jun
TBA
(...)
TBA Le séminaire des doctorant⋅es de l'I2M et du CPT à Luminy regroupe chaque semaine les doctorant⋅es du site autour d'un exposé plus ou [...]
20
Jun
Realizability Models for Large Cardinals
Richard Matthews (University of Cambridge)
The method of realizability was first developed by Kleene and is seen as a way to extract computational content from mathematical proofs via the Curry-Howard [...]
