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