Talks

Recent talks

In reverse chronological order.

• Universal Algebra in UniMath (slides, demo)
  February 2021, online, Tallinn (Estonia)

• Bicategories in Univalent Foundations (slides)
  February 2020, Algebra and Algorithms, Djerba, Tunisia

• Reduction Monads and Their Signatures (slides)
  January 2020, POPL'20, New Orleans

• Metodi formali in matematica (slides, in Italian)
  June 2019, Accademia la Colombaria, Firenze

• Bitcoin, criptovalute e contratti intelligenti (slides, in Italian)
  Maggio 2019, Accademia la Colombaria, Firenze

• Formalizing (hyper)complex analysis (slides)
  May 2019, INRIA, Sophia-Antipolis

• Teoria della computabilità in HOL (slides, in Italian)
  May 2017, Seminario di Logica e Filosofia della Scienza

• De Bruijn Monads (slides)
  April 2017, FPFM 2017 - Workshop on Foundations for the practical formalization of mathematics

• Some elementary remarks on lci algebraic cycles
  September 2016, Chinese Academy of Studies (CAS), Beijin, China