Selected Talks

  • December 20, 2021, Doctrines, Modalities and Comonads. 2nd ItaCa Workshop, Genova, Italy

  • September 01, 2021, Graded Doctrines and Quantitative Equality. Category Theory 2021, Genova, Italy (video)

  • June 15, 2021, Deconfined Global Types for Asynchronous Sessions. COORDINATION 2021, Valletta, Malta (online) (video)

  • March 31, 2021, Soundness Conditions for Big-Step Semantics. ESOP 2021, Luxembeurg, Luxembeurg (online) (video)

  • March 04, 2021, On Quantitative Equality in Graded Doctrines. DIAPASON seminars, Bologna, Italy (online)

  • June 18, 2020, Flexible coinductive definitions by inference systems. Computer Science Theory Seminar, Tallinn University of Technology, Estonia (online)