Talks (archive)


Invited talks

  1. Logic, lattices, and profinite structure, Logique à Paris 2023, Paris, 9-12 May 2023 (invited speaker).
  2. Priestley duality for MV-algebras and beyond, BLAST 2021, New Mexico State University / online, 9-13 June 2021 (special session invited speaker).
  3. Logic, Automata, and Model Companions, TACL 2019, Nice, 17-21 June 2019 (invited speaker).
  4. Pro-aperiodic monoids via Stone duality, SYSMICS 2019, Amsterdam, 21-25 January 2019 (invited speaker).
  5. Duality for distributive lattices with additional operations: a tutorial in two parts, Spring Meeting of SGSLPS, Bern, 28 May 2018 (invited tutorial speaker).
  6. Machines, Models, Monoids, and Modal Logic (3 hour tutorial), TbiLLC 2017, Lagodekhi, Georgia, 18-22 September 2017. (invited tutorial speaker).
  7. Duality for sheaves of distributive-lattice-ordered algebras over stably compact spaces, BLAST 2013, Chapman University, Orange, 5 - 9 August 2013 (invited speaker).

Talks at international conferences with published proceedings

  1. Formalizing and Computing Propositional Quantifiers, Certified Programs and Proofs, 16-17 January 2023, Boston/online (publication)
  2. Pro-aperiodic monoids via saturated models (extended technical report), STACS 2017, Hannover, Germany, 8-11 March 2017.
  3. Monadic second order logic as the model companion of temporal logic, Logic In Computer Science (LICS 2016), New York, 5-8 July 2016.
  4. Free algebras for Gödel-Löb provability logic, Advances in Modal Logic (AiML 2014), Groningen, 5 - 8 August 2014.
  5. Universal models for intuitionistic logic and its fragments: a duality based approach, TbiLLC 2013, Gudauri, 23 - 27 September 2013.

Talks at international meetings

  1. Title TBA, Workshop on Resources and Co-Resources, University of Cambridge, UK, 17-19 July 2023.
  2. Frames and profinite structures, Formalization of cohomology theories, Banff, Canada, 21-26 May 2023 (mathlib contribution 1).
  3. Proaperiodic monoids via saturated models, Structure Meets Power, ICALP Workshop, Paris, 4 July 2022.
  4. TACL, Coimbra, Portugal, 20-24 June 2022.
  5. Duality and More workshop, Nice, 16-20 May 2022 (slides).
  6. Proaperiodic monoids via prime models, or: what do profinite words look like?, Structure Meets Power, ICALP, Paris, 4 July 2022.
  7. Preserving joins at primes, TACL, Coimbra, June 2022.
  8. Preserving joins at primes: a connection between logic, automata, and domains, Workshop Duality and More, Nice, May 2022.
  9. Preserving joins at primes: a connection between logic, automata, and domains, Workshop on Ordered Algebras and Logic, Les Diablerets, April 2022.
  10. Monadic second order logic as a model companion, Logic Colloquium 2019, Prague, Czech Republic, 11-16 August 2019.
  11. Equations and logic on words, WARU 2019, Prague, Czech Republic, 11-12 May 2019.
  12. Pointlike sets for varieties determined by groups, DIAMANT Symposium, Veenendaal, The Netherlands, 29 November 2018.
  13. Pointlike sets for varieties determined by groups, Highlights of Logic, Games and Automata, Berlin, Germany, 18-21 September 2018.
  14. Model-completeness and automata, Quantifiers and Duality workshop (on the occasion of Luca Reggio's PhD defense), IRIF, Paris, France, 11 September 2018.
  15. Pointlike sets for varieties determined by groups, International Conference on Semigroups, Lisbon, Portugal, 11-14 July 2018.
  16. Uniform interpolation via an open mapping theorem on Esakia spaces, International Workshop on Topological Methods in Logic VI, Tbilisi, Georgia, 2-6 July 2018.
  17. Uniform interpolation via an open mapping theorem on Esakia spaces, Workshop on algebra and duality in non-classical logic, University of Amsterdam, 14 June 2018.
  18. Sheaves and Duality, Non-Commutative Structures 2018, University of Primorska, Portoroz, Slovenia, 26 May 2018.
  19. Uniform interpolation for intuitionistic logic via an open mapping theorem, Geometry and non classical logics (SYSMICS workshop), Salerno, Italy, 5-8 September 2017.
  20. Applications of saturated models to pro-aperiodic monoids, Special session on Model Theory: Algebraic Structures in "Tame" Model Theoretic Contexts, AMS Spring Eastern Sectional Meeting, Hunter College, New York, 6-7 May 2017.
  21. Sheaves and Duality, Commutative Algebra and Algebraic Geometry Seminar, CUNY Graduate Center, 21 April 2017.
  22. Machines, Models, Monoids, and Modal logic, ALCOP 2017, Glasgow, Scotland, 10-12 April 2017.
  23. Stone duality, logic on words, and profinite monoids, three hour tutorial, Berkeley-Stanford Circle in Logic and Philosophy, 12 November 2016.
  24. Proaperiodic monoids via saturated models, {Symmetry, Logic, Computation} workshop, Simons Institute, Berkeley, 7 November 2016.
  25. Proaperiodic semigroups and model theory, AMS Fall Western Sectional Meeting, special sessions on Recent Trends in Semigroup Theory and on Algebraic Logic, 8-9 October 2016.
  26. Studying profinite monoids via logic, International Workshop on Topological Methods in Logic V, Tbilisi, 13-17 June 2016.
  27. Sheaf representations via duality, OAL 2016, Penn State Behrend, Erie, 8-11 June 2016.
  28. Model completeness and uniform interpolation in algebraic logic, Shanks Workshop, Nashville, 6-7 February 2016.
  29. 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.
  30. Monadic second order logic on infinite words is the model companion of linear temporal logic, TACL, Ischia, 21 - 26 June 2015.
  31. Uniform Interpolation and Compact Congruences, TACL, Ischia, 21 - 26 June 2015.
  32. On (Uniform) Interpolation in Non-Classical Logic, invited talk at SGSLPS Workshop on Many-Valued Logics, Bern, 22 May 2015.
  33. Uniform interpolation and the congruence lattice, Workshop on Admissible Rules and Unification II, Les Diablerets, 30 January - 2 February 2015.
  34. Duality for sheaf representations of distributive lattices, Beyond 2014, Florence, 3 - 5 December 2014.
  35. A duality perspective on boundedness in automata, Domains XI, Paris, 8 - 10 September 2014.
  36. Cut and completion?, Logic, Algebra and Truth Degrees, Vienna, 16 - 19 July 2014.
  37. Duality for sheaf representations of distributive-lattice-ordered algebras, International Workshop on Topological Methods in Logic IV, Tbilisi, 23 - 27 June 2014.
  38. Sheaves and duality for MV-algebras, Spring Symposium of the Dutch Mathematics cluster DIAMANT, Arnhem, 5 - 6 June 2014.
  39. The boundedness problem: towards a duality approach, FREC (Frontiers of RECognizability) final conference, CIRM, Luminy, 28 - 30 April 2014.
  40. Duality for sheaves of distributive-lattice-ordered 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.
  41. A non-commutative Priestley duality, PhDs in Logic V, Munich center for Mathematical Philosophy, 8 April 2013.
  42. Stone duality in ten minutes, talk at Journée des entrants, LIAFA, Université Paris-Diderot VII, 10 October 2012.
  43. A non-commutative Priestley duality, talk at Duality theory in algebra, logic and computer science, part 2, University of Oxford, 17 August 2012.
  44. 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.
  45. On Priestley duality and sheaf representations for MV-algebras, contributed talk at ALCOP 2012, Prague, 16-18 April 2012.
  46. Spaces with and without points, invited talk at WONDER PhD Colloquium, Utrecht, 7 October 2011.
  47. Canonical extensions for stably compact spaces, presentation at Workshop on Aspects of Duality Theory, University of Oxford, 2-3 August 2011.
  48. Free algebras via a functor on partial algebras contributed talk at Topology, Algebra, Categories in Logic (TACL), Université de Provence, Marseille, 29 July 2011.
  49. 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.
  50. Free algebras via a functor on partial algebras, contributed talk at 2nd International Conference on Order, Algebra and Logics, Kraków, Poland, 6-10 June 2011.
  51. Constructing the Lindenbaum algebra for a logic step-by-step using duality, Workshop on Universal Models, University of Amsterdam, 24 February 2011.
  52. Constructing the Lindenbaum algebra for a logic step-by-step using duality, contributed talk at PhDs in Logic III, Brussels, Belgium, 17-18 February 2011.
  53. Canonical extensions and Stone duality for strong proximity lattices, contributed talk at DIAMANT/EIDMA symposium, Het Bosgoed, Lunteren, The Netherlands, 26 November 2010.
  54. 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

  1. Frames, Profinite Structures and Sheaves, Séminaire de maths formalisées, Mathématiques Orsay, Université Paris-Saclay, 1 May 2023.
  2. Modal unification and graph homomorphisms, GdT PLUME, LIP, ENS Lyon, 24 April 2023.
  3. Preserving joins at primes: a connection between logic, automata, and domains, LaBRI, LX group meeting, 17 March 2022.
  4. What is an existentially closed Heyting algebra and what does it have to do with automata?, Logic Webinar, IITK (online), 2 April 2021.
  5. Model theory and pro-aperiodic monoids Seminar on Semigroups, Automata, and Languages, CMUP, Porto (online), 19 June 2020.
  6. Model completeness in logical algebra, PPS Seminar, IRIF, Paris, France, 27 February 2020.
  7. Model completeness in logical algebra, QuantLA Research Seminar, TU Dresden, Germany, 21 January 2020.
  8. Pointlike sets for varieties determined by groups, Semigroup Seminar, Department of Mathematics, University of York, United Kingdom, 23 October 2019.
  9. Equations and logic on words, Graduate Seminar, Department of Mathematics, University of York, United Kingdom, 22 October 2019.
  10. Separation and covering for varieties determined by groups, Automata Seminar, IRIF, Paris, France, 3 May 2019.
  11. Monadic second order logic as a model companion, TULIPS Seminar, Utrecht University, The Netherlands, 16 April 2019.
  12. Pro-aperiodic monoids and model theory, Berkeley Logic Colloquium, UC Berkeley, United States, 22 March 2019.
  13. Pro-aperiodic monoids via saturated models, Manchester University, United Kingdom, 6 March 2019.
  14. Automata and model-completeness, Automata Seminar, IRIF, Paris, France, 4 October 2018.
  15. Uniform interpolation via an open mapping theorem on Esakia spaces, Algebra Coalgebra Seminar, ILLC, University of Amsterdam, 25 April 2018.
  16. Duality, sheaves, and semigroups, New York City Category Theory Seminar, CUNY Graduate Center, 18 April 2018.
  17. Duality, sheaves, and semigroups, Research Seminar, Mathematics Department, Fordham University, 11 April 2018.
  18. Monadic second order logics as model companions of temporal logics, Verification Seminar, Department of Computer Science, University of Oxford, 1 March 2018.
  19. Pointlike sets for varieties determined by groups, Duality working group, Laboratoire J.A. Dieudonné, Université de Nice, 20 February 2018.
  20. Monadic second order logics as model companions of temporal logics, Duality working group, Laboratoire J.A. Dieudonné, Université de Nice, 13 February 2018.
  21. Language hierarchies and profinite monoids via Stone duality, Frontiers Talk Series, Stony Brook University, 17 November 2017.
  22. Yoneda, rich and poor, Category Theory Seminar, Johns Hopkins University, 28 September 2017.
  23. Pro-aperiodic monoids via saturated models, Mathematics Department, Bronx Community College, 14 February 2017.
  24. Pro-aperiodic monoids via saturated models, Mathematics Department, New Mexico State University, 27 January 2017.
  25. Proaperiodic monoids and model theory, New York Applied Algebra Colloquium, 27 September 2016.
  26. Studying profinite monoids via logic, Logic Workshop, New York, 15 April 2016.
  27. Studying profinite semigroups via logic, Algebra|Coalgebra Seminar, Amsterdam, 30 March 2016.
  28. Monadic second order logic as the model companion of modal logic, DuaLL seminar, LIAFA/PPS/IRIF, Universit� Paris-Diderot, 19 November 2015.
  29. Sheaves and duality in logic, Mathematical Colloquium, University of Bern, 26 May 2014.
  30. Free algebras for Gödel-Löb provability logic, Algebra|Coalgebra seminar, Universiteit van Amsterdam, 16 April 2014.
  31. A topological proof of Gödel's completeness theorem for first order logic, Cool Logic Seminar, ILLC, University of Amsterdam, 17 May 2013.
  32. A non-commutative Priestley duality, Algebra Coalgebra Seminar, Universiteit van Amsterdam, 13 February 2013.
  33. A topological proof of Gödel's completeness theorem for first order logic, LAAG seminar, LIAFA, Université Paris-Diderot VII, 20 December 2012.
  34. Free algebras via a functor on partial algebras, PhD Seminar, Computer Science Department, University of Leicester, 6 July 2011.
  35. 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: Leicester-Birmingham collaboration" seminar at the University of Leicester, 29 June 2010.

Outreach Talks

  1. 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.
  2. 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.
  3. A Taste of Logic, outreach talk aimed at undergraduate students, Mathematics Department, City College of New York, 8 December 2016.

Organization of meetings

Other meetings I attended