Corsi di dottorato

In corso e futuri:

TBA

Conclusi:

  • 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.