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