- Duality and limits of finite structures, PLUME Seminar, Lyon, December 16 2019.
- Duality and limits of finite structures, LSV Seminar, Cachan, December 10 2019.
- Formal languages, logic, and duality, Mathematical Colloquium, Bern, November 11 2019.
- Uniform interpolation for intuitionistic logic via an open mapping theorem, Algebra Seminar, Bern, October 30 2019.
- Limits of finite structures: a duality theoretic perspective, Automata Seminar, IRIF, Paris, October 25 2019.
- Dualities in Logic: old and new results, invited talk at the XXI Congresso dell'Unione Matematica Italiana, sezione Logica Matematica, Pavia, September 2-7 2019.
- Axiomatising categories of spaces: the case of compact Hausdorff spaces, TACL 2019, Nice, June 17-21 2019.
- Dualities in Logic, two-part invited tutorial at PhDs in Logic XI, Bern, April 24-26 2019.
- Uniform interpolation for IPC via an open mapping theorem for Esakia spaces, Seminar of Applied Mathematical Logic, Institute of Computer Science of the Czech Academy of Sciences, February 20 2019.
- Beth definability and the Stone-Weierstrass Theorem, Algebra|Coalgebra Seminar, Institute for Logic, Language and Computation, Amsterdam, November 28 2018.
- Duality, definability and continuous functions, Seminar of Applied Mathematical Logic, Institute of Computer Science of the Czech Academy of Sciences, November 14 2018.
- Pretoposes and topological representations, invited talk at the International Workshop on Topological Methods in Logic VI, Tbilisi, July 2-6 2018.
- Langages formels et dualité: entre syntaxe et sémantique, invited talk at the workshop Logique, Langages, Preuves, Université de Montpellier, May 31 - June 1 2018.
- A pretopos theoretic characterisation of compact Hausdorff spaces, Journées niçoises: Logique catégorique, topos et dualités, Laboratoire J. A. Dieudonné, Université Côte d'Azur, January 8-12 2018.
- Adding a layer of (simple) quantifiers via semidirect products and codensity monads, Part II, seminar Dualité de Stone, langages formels et logique, Laboratoire J. A. Dieudonné, Université Côte d'Azur, October 17 2017.
- Adding a layer of (simple) quantifiers via semidirect products and codensity monads, Part I, seminar Dualité de Stone, langages formels et logique, Laboratoire J. A. Dieudonné, Université Côte d'Azur, October 10 2017.
- Quantifiers, languages and codensity monads, Topology, Algebra, and Categories in Logic (TACL), Charles University of Prague, June 26-30 2017.
- Quantifiers on languages and codensity monads, Part II, DuaLL seminar, IRIF, Université Paris-Diderot, April 19 2017.
- Quantifiers on languages and codensity monads, Part I, DuaLL seminar, IRIF, Université Paris-Diderot, March 24 2017.
- The Schützenberger product for syntactic spaces, 43rd International Colloquium on Automata, Languages, and Programming (ICALP), Rome, July 12-15 2016.
- Toward a general Stone-Gelfand duality, invited talk at the International Workshop on Topological Methods in Logic V, Tbilisi, June 13-17 2016.
- On existential quantification and hyperspaces for logic on words, Logic seminar, Università di Milano, April 7 2016.
- Duality theory: from algebra to topology, through logic, Journée des entrants, IRIF, Université Paris-Diderot, November 2 2015.
- Axiomatising the dual of compact Hausdorff spaces, Topology, Algebra, and Categories in Logic (TACL), Ischia, June 21-26 2015.
- Stone duality above dimension zero, 18th Annual Conference on Ordered Algebraic Structures, H. L. Wilkes Honors College, Jupiter, Florida, May 9 2015.
- Stone duality above dimension zero: infinitary algebras of real-valued functions on compact Hausdorff spaces, workshop Beyond true and false: Algebra, Logic and Topology, Università di Firenze, December 3-5 2014.