Talks

Upcoming talks

  1. TBA, invited talk at the XXII Congresso dell’Unione Matematica Italiana, Pisa, 4-9 September 2023

Past talks

  1. Arboreal categories, Resources in Computation workshop, London, 21-23 September 2022

  2. Arboreal categories and homomorphism preservation theorems, invited talk at ItaCa Fest 2022, Online, 20 September 2022

  3. The algebraic theory of C(X) and its logic, invited talk (as recipient of the Premio Lettieri 2019 and Premio Gentilini per la Logica in Informatica) at XXVII Incontro di Logica, Caserta, 12-15 September 2022

  4. Relating Structure to Power, an Invitation to Game Comonads, advanced course (taught jointly with Tomáš Jakl) at ESSLLI Summer School, Galway, 8-19 August 2022

  5. Regular categories and soft sheaf representations, TACL 2021-22, Coimbra, 20-24 June 2022

  6. Arboreal categories and homomorphism preservation theorems, Duality and More workshop, Nice, 16-20 May 2022

  7. Game comonads - Towards an axiomatic theory of resources, Chocola meeting, Lyon, 2 December 2021

  8. Game comonads and homomorphism counting in finite model theory, Logic Colloquium 2021, Online, 19-24 July 2021

  9. Arboreal categories and resources, ICALP 2021, Online, 12-16 July 2021

  10. A categorical view on logical resources, DOCToR - Duality, Order, (Co)algebras, Topology, and Related topics, Online, 7-9 July 2021

  11. Lovász-type theorems and game comonads, LiCS 2021, Online, 29 June - 2 July 2021

  12. Lovász-type theorems and polyadic spaces, invited talk at BLAST 2021 (Special session on Stone and Priestley dualities), Online, 9-13 June 2021

  13. Arboreal categories - An axiomatic theory of resources, PLUME Seminar, Online, 7 June 2021

  14. Compact Hausdorff spaces and their algebraic dual, Ottawa Categorical Logic Seminar, Online, 18 March 2021

  15. A characterisation of the category of compact Hausdorff spaces, Cambridge Category Theory Seminar, Online, 9 March 2021

  16. Counting homomorphisms between finite structures, Bern-Prague joint Logic Seminar, Online, 24 February 2021

  17. Counting homomorphisms between finite structures, LMF Seminar (ENS Paris-Saclay), Online, 11 December 2020

  18. Quantifiers and measures, invited talk at the Workshop on Resources and Co-Resources, Cambridge Online, 26 March 2020

  19. Duality and limits of finite structures, PLUME Seminar, Lyon, 16 December 2019

  20. Duality and limits of finite structures, LSV Seminar, Cachan, 10 December 2019

  21. Formal languages, logic, and duality, Mathemathical Colloquium, Bern, 11 November 2019

  22. Uniform interpolation for intuitionistic logic via an open mapping theorem, Algebra Seminar, Bern, 30 October 2019

  23. Limits of finite structures, a duality theoretic perspective, Automata Seminar, IRIF, Paris, 25 October 2019

  24. Dualities in Logic, old and new results, invited talk at the XXI Congresso dell’Unione Matematica Italiana, Pavia, 2-7 September 2019

  25. Axiomatising categories of spaces, the case of compact Hausdorff spaces, TACL 2019, Nice, 17-21 June 2019

  26. Dualities in Logic, two-part invited tutorial at PhDs in Logic XI, Bern, 24-26 April 2019

  27. 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, Prague, 20 February 2019

  28. Beth definability and the Stone-Weierstrass Theorem, Algebra|Coalgebra Seminar, Institute for Logic, Language and Computation, Amsterdam, 28 November 2018

  29. Duality, definability and continuous functions, Seminar of Applied Mathematical Logic, Institute of Computer Science of the Czech Academy of Sciences, Prague, 14 November 2018

  30. Pretoposes and topological representations, invited talk at the International Workshop on Topological Methods in Logic VI, Tbilisi, 2-6 July 2018

  31. Langages formels et dualité, entre syntaxe et sémantique, invited talk at the workshop Logique, Langages, Preuves, Université de Montpellier, 31 May - 1 June 2018

  32. A pretopos theoretic characterisation of compact Hausdorff spaces, Journées niçoises de logique catégorique, topos et dualités, Laboratoire J. A. Dieudonné, Université Côte d’Azur, 8-12 January 2018

  33. Adding a layer of (simple) quantifiers via semidirect products and codensity monads, Part II, séminaire Dualité de Stone, langages formels et logique, Laboratoire J. A. Dieudonné, Université Côte d’Azur, 17 October 2017

  34. Adding a layer of (simple) quantifiers via semidirect products and codensity monads, Part I, séminaire Dualité de Stone, langages formels et logique, Laboratoire J. A. Dieudonné, Université Côte d’Azur, 10 October 2017

  35. Quantifiers, languages and codensity monads, TACL 2017, Charles University of Prague, 26-30 June 2017

  36. Quantifiers on languages and codensity monads, Part II, DuaLL seminar, IRIF, Université Paris-Diderot, 19 April 2017

  37. Quantifiers on languages and codensity monads, Part I, DuaLL seminar, IRIF, Université Paris-Diderot, 24 March 2017

  38. The Schützenberger product for syntactic spaces, ICALP 2016, Rome, 12-15 July 2016

  39. Toward a general Stone-Gelfand duality, invited talk at the International Workshop on Topological Methods in Logic V, Tbilisi, 13-17 June 2016

  40. On existential quantification and hyperspaces for logic on words, Logic seminar, Università di Milano, 7 April 2016

  41. Duality theory - from algebra to topology, through logic, Journée des entrants, IRIF, Université Paris-Diderot, 2 November 2015

  42. Axiomatising the dual of compact Hausdorff spaces, TACL 2015, Ischia, Italy, 21-26 June 2015

  43. Stone duality above dimension zero, 18th Annual Conference on Ordered Algebraic Structures, H. L. Wilkes Honors College, Jupiter, Florida, 7-10 May 2015

  44. Stone duality above dimension zero - infinitary algebras of real-valued functions on compact Hausdorff spaces, Beyond true and false - Algebra, Logic and Topology, Università di Firenze, 3-5 December 2014