Talks

Upcoming talks

  1. 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

Past talks

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  21. 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

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

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

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

  25. 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

  26. 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

  27. 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

  28. 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

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

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

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

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

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

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

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

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

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

  38. 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