Talks (archive)
Invited talks

Logic, lattices, and profinite structure,
Logique à Paris 2023, Paris, 912 May 2023 (invited speaker).

Priestley duality for MValgebras and beyond,
BLAST 2021, New Mexico State University / online, 913 June 2021 (special session invited speaker).
 Logic, Automata, and Model Companions, TACL 2019, Nice, 1721 June 2019 (invited speaker).
 Proaperiodic monoids via Stone duality, SYSMICS 2019, Amsterdam, 2125 January 2019 (invited speaker).
 Duality for distributive lattices with additional operations: a tutorial in two parts, Spring Meeting of SGSLPS, Bern, 28 May 2018 (invited tutorial speaker).
 Machines, Models, Monoids, and Modal Logic (3 hour tutorial), TbiLLC 2017, Lagodekhi, Georgia, 1822 September 2017. (invited tutorial speaker).
 Duality for sheaves of distributivelatticeordered algebras over stably compact spaces, BLAST 2013, Chapman University, Orange, 5  9 August 2013 (invited speaker).
Talks at international conferences with published proceedings
 Formalizing and Computing Propositional Quantifiers, Certified Programs and Proofs, 1617 January 2023, Boston/online (publication)
 Proaperiodic monoids via saturated models (extended technical report), STACS 2017, Hannover, Germany, 811 March 2017.
 Monadic second order logic as the model companion of temporal logic, Logic In Computer Science (LICS 2016), New York, 58 July 2016.
 Free algebras for GödelLöb provability logic, Advances in Modal Logic (AiML 2014), Groningen, 5  8 August 2014.
 Universal models for intuitionistic logic and its fragments: a duality based approach, TbiLLC 2013, Gudauri, 23  27 September 2013.
Talks at international meetings
 Title TBA, Workshop on Resources and CoResources, University of Cambridge, UK, 1719 July 2023.
 Frames and profinite structures, Formalization of cohomology theories, Banff, Canada, 2126 May 2023 (mathlib contribution 1).
 Proaperiodic monoids via saturated models, Structure Meets Power, ICALP Workshop, Paris, 4 July 2022.
 TACL, Coimbra, Portugal, 2024 June 2022.
 Duality and More workshop, Nice, 1620 May 2022 (slides).
 Proaperiodic monoids via prime models, or: what do profinite words look like?, Structure Meets Power, ICALP, Paris, 4 July 2022.
 Preserving joins at primes, TACL, Coimbra, June 2022.
 Preserving joins at primes: a connection between logic, automata, and domains,
Workshop Duality and More, Nice, May 2022.
 Preserving joins at primes: a connection between logic, automata, and domains,
Workshop on Ordered Algebras and Logic, Les Diablerets, April 2022.

Monadic second order logic as a model companion, Logic Colloquium 2019, Prague, Czech Republic, 1116 August 2019.
 Equations and logic on words, WARU 2019, Prague, Czech Republic, 1112 May 2019.
 Pointlike sets for varieties determined by groups, DIAMANT Symposium, Veenendaal, The Netherlands, 29 November 2018.
 Pointlike sets for varieties determined by groups, Highlights of Logic, Games and Automata, Berlin, Germany, 1821 September 2018.
 Modelcompleteness and automata, Quantifiers and Duality workshop (on the occasion of Luca Reggio's PhD defense), IRIF, Paris, France, 11 September 2018.
 Pointlike sets for varieties determined by groups, International Conference on Semigroups, Lisbon, Portugal, 1114 July 2018.
 Uniform interpolation via an open mapping theorem on Esakia spaces, International Workshop on Topological Methods in Logic VI, Tbilisi, Georgia, 26 July 2018.
 Uniform interpolation via an open mapping theorem on Esakia spaces, Workshop on algebra and duality in nonclassical logic, University of Amsterdam, 14 June 2018.
 Sheaves and Duality, NonCommutative Structures 2018, University of Primorska, Portoroz, Slovenia, 26 May 2018.
 Uniform interpolation for intuitionistic logic via an open mapping theorem, Geometry and non classical logics (SYSMICS workshop), Salerno, Italy, 58 September 2017.
 Applications of saturated models to proaperiodic monoids, Special session on Model Theory: Algebraic Structures in "Tame" Model Theoretic Contexts, AMS Spring Eastern Sectional Meeting, Hunter College, New York, 67 May 2017.
 Sheaves and Duality, Commutative Algebra and Algebraic Geometry Seminar, CUNY Graduate Center, 21 April 2017.
 Machines, Models, Monoids, and Modal logic, ALCOP 2017, Glasgow, Scotland, 1012 April 2017.
 Stone duality, logic on words, and profinite monoids, three hour tutorial, BerkeleyStanford Circle in Logic and Philosophy, 12 November 2016.
 Proaperiodic monoids via saturated models, {Symmetry, Logic, Computation} workshop, Simons Institute, Berkeley, 7 November 2016.
 Proaperiodic semigroups and model theory, AMS Fall Western Sectional Meeting, special sessions on Recent Trends in Semigroup Theory and on Algebraic Logic, 89 October 2016.
 Studying profinite monoids via logic, International Workshop on Topological Methods in Logic V, Tbilisi, 1317 June 2016.
 Sheaf representations via duality, OAL 2016, Penn State Behrend, Erie, 811 June 2016.
 Model completeness and uniform interpolation in algebraic logic, Shanks Workshop, Nashville, 67 February 2016.
 Monadic second order logic as the model companion of modal logic, invited talk at Dagstuhl Seminar on Duality in Computer Science, Schloss Dagstuhl Leibniz Center for Informatics, 26  30 October 2015.
 Monadic second order logic on infinite words is the model companion of linear temporal logic, TACL, Ischia, 21  26 June 2015.
 Uniform Interpolation and Compact Congruences, TACL, Ischia, 21  26 June 2015.
 On (Uniform) Interpolation in NonClassical Logic, invited talk at SGSLPS Workshop on ManyValued Logics, Bern, 22 May 2015.
 Uniform interpolation and the congruence lattice, Workshop on Admissible Rules and Unification II, Les Diablerets, 30 January  2 February 2015.
 Duality for sheaf representations of distributive lattices, Beyond 2014, Florence, 3  5 December 2014.
 A duality perspective on boundedness in automata, Domains XI, Paris, 8  10 September 2014.
 Cut and completion?, Logic, Algebra and Truth Degrees, Vienna, 16  19 July 2014.
 Duality for sheaf representations of distributivelatticeordered algebras, International Workshop on Topological Methods in Logic IV, Tbilisi, 23  27 June 2014.
 Sheaves and duality for MValgebras, Spring Symposium of the Dutch Mathematics cluster DIAMANT, Arnhem, 5  6 June 2014.
 The boundedness problem: towards a duality approach, FREC (Frontiers of RECognizability) final conference, CIRM, Luminy, 28  30 April 2014.
 Duality for sheaves of distributivelatticeordered algebras over stably compact spaces, invited talk at Dagstuhl Seminar on Duality in Computer Science, Schloss Dagstuhl Leibniz Center for Informatics, 28 July  2 August 2013.
 A noncommutative Priestley duality, PhDs in Logic V, Munich center for Mathematical Philosophy, 8 April 2013.
 Stone duality in ten minutes, talk at Journée des entrants, LIAFA, Université ParisDiderot VII, 10 October 2012.
 A noncommutative Priestley duality, talk at Duality theory in algebra, logic and computer science, part 2, University of Oxford, 17 August 2012.
 Topological duality for lattices via canonical extensions, talk at Duality theory in algebra, logic and computer science, part 1, University of Oxford, 13 June 2012.
 On Priestley duality and sheaf representations for MValgebras, contributed talk at ALCOP 2012, Prague, 1618 April 2012.
 Spaces with and without points, invited talk at WONDER PhD Colloquium, Utrecht, 7 October 2011.
 Canonical extensions for stably compact spaces, presentation at Workshop on Aspects of Duality Theory, University of Oxford, 23 August 2011.
 Free algebras via a functor on partial algebras contributed talk at Topology, Algebra, Categories in Logic (TACL), Université de Provence, Marseille, 29 July 2011.
 Topological duality for arbitrary lattices via the canonical extension, featured presentation at Topology, Algebra, Categories in Logic (TACL), Université de Provence, Marseille, 27 July 2011.
 Free algebras via a functor on partial algebras, contributed talk at 2nd International Conference on Order, Algebra and Logics, Kraków, Poland, 610 June 2011.
 Constructing the Lindenbaum algebra for a logic stepbystep using duality, Workshop on Universal Models, University of Amsterdam, 24 February 2011.
 Constructing the Lindenbaum algebra for a logic stepbystep using duality, contributed talk at PhDs in Logic III, Brussels, Belgium, 1718 February 2011.
 Canonical extensions and Stone duality for strong proximity lattices, contributed talk at DIAMANT/EIDMA symposium, Het Bosgoed, Lunteren, The Netherlands, 26 November 2010.
 Discrete duality for downset lattices and their residuated operations, contributed talk at the workshop "The categorical flow of information in quantum physics and linguistics", Computing Lab, University of Oxford, UK, 30 October 2010.
Seminar talks
 Frames, Profinite Structures and Sheaves, Séminaire de maths formalisées, Mathématiques Orsay, Université ParisSaclay, 1 May 2023.
 Modal unification and graph homomorphisms, GdT PLUME, LIP, ENS Lyon, 24 April 2023.
 Preserving joins at primes: a connection between logic, automata, and domains,
LaBRI, LX group meeting, 17 March 2022.

What is an existentially closed Heyting algebra and what does it have to do with automata?,
Logic Webinar, IITK (online), 2 April 2021.

Model theory and proaperiodic monoids
Seminar on Semigroups, Automata, and Languages, CMUP, Porto (online), 19 June 2020.
 Model completeness in logical algebra, PPS Seminar, IRIF, Paris, France, 27 February 2020.
 Model completeness in logical algebra, QuantLA Research Seminar, TU Dresden, Germany, 21 January 2020.
 Pointlike sets for varieties determined by groups, Semigroup Seminar, Department of Mathematics, University of York, United Kingdom, 23 October 2019.
 Equations and logic on words, Graduate Seminar, Department of Mathematics, University of York, United Kingdom, 22 October 2019.
 Separation and covering for varieties determined by groups, Automata Seminar, IRIF, Paris, France, 3 May 2019.
 Monadic second order logic as a model companion, TULIPS Seminar, Utrecht University, The Netherlands, 16 April 2019.
 Proaperiodic monoids and model theory, Berkeley Logic Colloquium, UC Berkeley, United States, 22 March 2019.
 Proaperiodic monoids via saturated models, Manchester University, United Kingdom, 6 March 2019.
 Automata and modelcompleteness, Automata Seminar, IRIF, Paris, France, 4 October 2018.
 Uniform interpolation via an open mapping theorem on Esakia spaces, Algebra Coalgebra Seminar, ILLC, University of Amsterdam, 25 April 2018.
 Duality, sheaves, and semigroups, New York City Category Theory Seminar, CUNY Graduate Center, 18 April 2018.
 Duality, sheaves, and semigroups, Research Seminar, Mathematics Department, Fordham University, 11 April 2018.
 Monadic second order logics as model companions of temporal logics, Verification Seminar, Department of Computer Science, University of Oxford, 1 March 2018.
 Pointlike sets for varieties determined by groups, Duality working group, Laboratoire J.A. Dieudonné, Université de Nice, 20 February 2018.
 Monadic second order logics as model companions of temporal logics, Duality working group, Laboratoire J.A. Dieudonné, Université de Nice, 13 February 2018.
 Language hierarchies and profinite monoids via Stone duality, Frontiers Talk Series, Stony Brook University, 17 November 2017.
 Yoneda, rich and poor, Category Theory Seminar, Johns Hopkins University, 28 September 2017.
 Proaperiodic monoids via saturated models, Mathematics Department, Bronx Community College, 14 February 2017.
 Proaperiodic monoids via saturated models, Mathematics Department, New Mexico State University, 27 January 2017.
 Proaperiodic monoids and model theory, New York Applied Algebra Colloquium, 27 September 2016.
 Studying profinite monoids via logic, Logic Workshop, New York, 15 April 2016.
 Studying profinite semigroups via logic, AlgebraCoalgebra Seminar, Amsterdam, 30 March 2016.
 Monadic second order logic as the model companion of modal logic, DuaLL seminar, LIAFA/PPS/IRIF, Universit� ParisDiderot, 19 November 2015.
 Sheaves and duality in logic, Mathematical Colloquium, University of Bern, 26 May 2014.
 Free algebras for GödelLöb provability logic, AlgebraCoalgebra seminar, Universiteit van Amsterdam, 16 April 2014.
 A topological proof of Gödel's completeness theorem for first order logic, Cool Logic Seminar, ILLC, University of Amsterdam, 17 May 2013.
 A noncommutative Priestley duality, Algebra Coalgebra Seminar, Universiteit van Amsterdam, 13 February 2013.
 A topological proof of Gödel's completeness theorem for first order logic, LAAG seminar, LIAFA, Université ParisDiderot VII, 20 December 2012.
 Free algebras via a functor on partial algebras, PhD Seminar, Computer Science Department, University of Leicester, 6 July 2011.
 Canonical extensions and Stone duality for strong proximity lattices, presented at the Computer Science department of the University of Birmingham and at the "Domain Theory, Coalgebras and Dualities: LeicesterBirmingham collaboration" seminar at the University of Leicester, 29 June 2010.
Outreach Talks
 The mathematics of white noise (video in English), general audience talk on the occasion of the opening of the Ryoji Ikeda exhibiton at EYE Film Museum, Amsterdam, 14 September 2018.
 Alle wegen leiden naar automaten ("All roads lead to automata"), outreach talk on automata and the Cerny conjecture, Leve De Wiskunde! conference, University of Amsterdam, 6 April 2018.
 A Taste of Logic, outreach talk aimed at undergraduate students, Mathematics Department, City College of New York, 8 December 2016.
Organization of meetings
 On 28 June 2023 we organized, with PaulAndré Melliès and Vincent Moreau, the first "Lambda Pros day", on the growing connections between (Profinite) Lambda Calculus and Automata Theory. More information here.
 On 17 November 2022 we organized, with Mirna Dzamonja, the workshop
"DaLFI : Duality and Logic in the passage from the Finite to the
Infinite. More information here.
 Algebra Coalgebra Seminar, ILLC, University of Amsterdam, 2018.
During my year as a postdoc at University of Amsterdam, I was a coorganizer of this biweekly seminar.
 Workshop on ordered algebras and logic, University of Bern, 17 June 2014.
I coorganized this workshop with George Metcalfe.
 Workshop on sheaves and duality, Radboud Universiteit Nijmegen, 7 April 2014.
I organized this workshop on the occasion of my PhD defense on 8 April 2014.
 Highlights of Logic, Games and Automata, Université ParisDiderot, 18  21 September 2013.
I was a member of the local organization taskforce.
 Journées Topologie et Informatique / Topology and Informatics Days, LIAFA, Paris, 21  22 March 2013.
I helped with the organization of this meeting.
Other meetings I attended
 Le Kaleidoscope de la Complexité (EPIT 2023), Ile d'Oleron, 1216 June 2023.
 DaLFI, Paris, 17 November 2022, organizer, with Mirna Dzamonja.
 Lean for the curious mathematician 2022, ICERM, Providence, 1115 July 2022 (mathlib contribution 1 and 2).
 EPIT Spring School on Theoretical Computer Science: Databases, Logic and Automata, CIRM, Luminy, Marseille, 812 April 2019.
 International Conference on Geometric, Combinatorial and Dynamics aspects of Semigroup and Group Theory, Bar Ilan University, Tel Aviv, 11  14 June 2013.
 ALCOP 2013, Utrecht, 18  20 April 2013.
 Proof and Computation, CUSO Winter School in Mathematics and Computer Science, 27  31 January 2013, Les Diablerets.