Pos-pretoposes and compact ordered spaces, Category Theory 2025, Brno, 13-19 July 2025
TBA, Logic Group Seminar, Gothenburg, 28 May 2025
(Ordered) compact Hausdorff spaces, axiomatically, Logic, Categories, and Applications Seminar, Bologna, 13 May 2025
(Ordered) compact Hausdorff spaces, axiomatically, Salerno Logic Group Seminar, Salerno, 30 April 2025
Resource-bounded logics - a categorical and modal view, Birmingham Theory Seminar, Birmingham, 22 November 2024
Game comonads, logical and homotopical aspects, invited talk at the 38th Summer Conference on Topology and its Applications, Coimbra, 8-12 July 2024
Game comonads and resource-sensitive model theory, invited talk at TACL 2024, Barcelona, 1-5 July 2024
Games, comonads, and categorical homotopy, PPS seminar, Paris, 23 November 2023
Game comonads and Homotopy, PPLV Seminar, London, 9 November 2023
Paths without homotopy, and homotopy without paths, Workshop on Springer Volume “Samson Abramsky on Logic and Structure in Computer Science and Beyond”, London, 18-20 September 2023
Polyadic spaces, homomorphism counting and omega-categorical theories, invited talk at the XXII Congresso dell’Unione Matematica Italiana, Pisa, 4-9 September 2023
Concrete, abstract, axiomatic – A (personal) journey through game comonads, Resources and co-Resources Closing Workshop, Cambridge, 17-19 July 2023
Resource-sensitive model theory, a categorical view, invited talk at Category Theory 2023, Louvain-la-Neuve, 2-8 July 2023
Logical resources and arboreal adjunctions, OASIS seminar, Oxford, 12 May 2023
Logical resources and arboreal adjunctions, Logic seminar, Manchester, 26 April 2023
Polyadic sets and unnatural isomorphisms, Algebra, Logic and Topology Seminar, Coimbra, 14 March 2023
Logical resources and arboreal adjunctions, LIMD Seminar, Chambéry, 2 March 2023
Arboreal categories, Resources in Computation workshop, London, 21-23 September 2022
Arboreal categories and homomorphism preservation theorems, invited talk at ItaCa Fest 2022, Online, 20 September 2022
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
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
Regular categories and soft sheaf representations, TACL 2021-22, Coimbra, 20-24 June 2022
Arboreal categories and homomorphism preservation theorems, Duality and More workshop, Nice, 16-20 May 2022
Game comonads - Towards an axiomatic theory of resources, PPLV Seminar, London, 11 February 2022
Game comonads - Towards an axiomatic theory of resources, Chocola meeting, Lyon, 2 December 2021
Game comonads and homomorphism counting in finite model theory, Logic Colloquium 2021, Online, 19-24 July 2021
Arboreal categories and resources, ICALP 2021, Online, 12-16 July 2021
A categorical view on logical resources, DOCToR - Duality, Order, (Co)algebras, Topology, and Related topics, Online, 7-9 July 2021
Lovász-type theorems and game comonads, LiCS 2021, Online, 29 June - 2 July 2021
Lovász-type theorems and polyadic spaces, invited talk at BLAST 2021 (Special session on Stone and Priestley dualities), Online, 9-13 June 2021
Arboreal categories - An axiomatic theory of resources, PLUME Seminar, Online, 7 June 2021
Compact Hausdorff spaces and their algebraic dual, Ottawa Categorical Logic Seminar, Online, 18 March 2021
A characterisation of the category of compact Hausdorff spaces, Cambridge Category Theory Seminar, Online, 9 March 2021
Counting homomorphisms between finite structures, Bern-Prague joint Logic Seminar, Online, 24 February 2021
Counting homomorphisms between finite structures, LMF Seminar (ENS Paris-Saclay), Online, 11 December 2020
Quantifiers and measures, invited talk at the Workshop on Resources and Co-Resources, Cambridge Online, 26 March 2020
Duality and limits of finite structures, PLUME Seminar, Lyon, 16 December 2019
Duality and limits of finite structures, LSV Seminar, Cachan, 10 December 2019
Formal languages, logic, and duality, Mathemathical Colloquium, Bern, 11 November 2019
Uniform interpolation for intuitionistic logic via an open mapping theorem, Algebra Seminar, Bern, 30 October 2019
Limits of finite structures, a duality theoretic perspective, Automata Seminar, IRIF, Paris, 25 October 2019
Dualities in Logic, old and new results, invited talk at the XXI Congresso dell’Unione Matematica Italiana, Pavia, 2-7 September 2019
Axiomatising categories of spaces, the case of compact Hausdorff spaces, TACL 2019, Nice, 17-21 June 2019
Dualities in Logic, two-part invited tutorial at PhDs in Logic XI, Bern, 24-26 April 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, Prague, 20 February 2019
Beth definability and the Stone-Weierstrass Theorem, Algebra|Coalgebra Seminar, Institute for Logic, Language and Computation, Amsterdam, 28 November 2018
Duality, definability and continuous functions, Seminar of Applied Mathematical Logic, Institute of Computer Science of the Czech Academy of Sciences, Prague, 14 November 2018
Pretoposes and topological representations, invited talk at the International Workshop on Topological Methods in Logic VI, Tbilisi, 2-6 July 2018
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
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
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
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
Quantifiers, languages and codensity monads, TACL 2017, Charles University of Prague, 26-30 June 2017
Quantifiers on languages and codensity monads, Part II, DuaLL seminar, IRIF, Université Paris-Diderot, 19 April 2017
Quantifiers on languages and codensity monads, Part I, DuaLL seminar, IRIF, Université Paris-Diderot, 24 March 2017
The Schützenberger product for syntactic spaces, ICALP 2016, Rome, 12-15 July 2016
Toward a general Stone-Gelfand duality, invited talk at the International Workshop on Topological Methods in Logic V, Tbilisi, 13-17 June 2016
On existential quantification and hyperspaces for logic on words, Logic seminar, Università di Milano, 7 April 2016
Duality theory - from algebra to topology, through logic, Journée des entrants, IRIF, Université Paris-Diderot, 2 November 2015
Axiomatising the dual of compact Hausdorff spaces, TACL 2015, Ischia, Italy, 21-26 June 2015
Stone duality above dimension zero, 18th Annual Conference on Ordered Algebraic Structures, H. L. Wilkes Honors College, Jupiter, Florida, 7-10 May 2015
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