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