Évènements
Rechercher un événement
12
Feb
Is typed realizability only predicative?
Félix Castro (I2M, Aix-Marseille)
In Kleene realizability, formulas are interpreted as sets of (untyped) programs. This approach allows for a sound interpretation of Higher-Order Logic (HOL): it leads to [...]
12
Feb
Cônes de diviseurs de Noether-Lefschetz sur les espaces de modules des variétés hyper‑Kählériennes
Pietro Beri (Université de Lorraine/Goethe Universität Frankfurt)
Un aspect remarquable des variétés hyper‑Kählériennes est qu’elles se situent au carrefour de plusieurs domaines : un exemple frappant en est que leurs espaces de modules [...]
12
Feb
Plongements projectifs des courbes et des surfaces - Partie 2
Thibaut Misme (Trinity College Dublin)
Dans cette séance je présenterai le formalisme des systèmes linéaires et des applications vers P^n qu'ils induisent. Je l'appliquerai ensuite au cas des courbes projectives [...]
