Talks

  • Théorie des types pour les omega-catégories faibles monoidales,

    Journées LHC, Lyon, Oct 2019. (in French)
    slides

  • Automatisation partielle de preuves dans CaTT - L’exemple de la suspension,

    Journées Francophones des Langages Applicatifs, Les Rousses, Jan 2019. (In French)
    slides

  • Towards a fully formalized definition of the syllepsis in weak higher categories,

    HDRA, Oxford, Jul 2018.
    slides

  • A type theory for weak omega-categories,

    EuTypes, Nijmegen, Jan 2018.
    slides

  • Towards a type theory for weak omega-functors,

    HDRA, Oxford, Sept 2017.