Aprile 2020, "Simplicial sets and the univalence axiom", J. Emmenegger (Genova).
Durata del corso: 20 h.
Marzo - aprile 2020, "Non-standard analysis", R. Camerlo (Genova).
Durata del corso: 20 h.
Marzo 2020, "Realizability and hyperdoctrines", F. Pasquali (Genova).
Durata del corso: 20 h.