Talks

    2018

  1. Pointlike sets for varieties determined by groups, International Conference on Semigroups, 11-14 July 2018.
  2. Uniform interpolation via an open mapping theorem on Esakia spaces, International Workshop on Topological Methods in Logic VI, Tbilisi, Georgia, 2-6 July 2018.
  3. 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.
  4. Sheaves and Duality, Non-Commutative Structures 2018, University of Primorska, Portoroz, Slovenia, 26 May 2018.
  5. Uniform interpolation via an open mapping theorem on Esakia spaces, Algebra Coalgebra Seminar, ILLC, University of Amsterdam, 25 April 2018.
  6. Duality, sheaves, and semigroups, New York City Category Theory Seminar, CUNY Graduate Center, 18 April 2018.
  7. Duality, sheaves, and semigroups, Research Seminar, Mathematics Department, Fordham University, 11 April 2018.
  8. 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.
  9. Monadic second order logics as model companions of temporal logics, Verification Seminar, Department of Computer Science, University of Oxford, 1 March 2018.
  10. Pointlike sets for varieties determined by groups, Duality working group, Laboratoire J.A. Dieudonné, Université de Nice, 20 February 2018.
  11. Monadic second order logics as model companions of temporal logics, Duality working group, Laboratoire J.A. Dieudonné, Université de Nice, 13 February 2018.
  12. 2017

  13. Language hierarchies and profinite monoids via Stone duality, Frontiers Talk Series, Stony Brook University, 17 November 2017.
  14. Yoneda, rich and poor, Category Theory Seminar, Johns Hopkins University, 28 September 2017.
  15. Machines, Models, Monoids, and Modal Logic (3 hour tutorial), TbiLLC 2017, Lagodekhi, Georgia, 18-22 September 2017.
  16. Uniform interpolation for intuitionistic logic via an open mapping theorem, Geometry and non classical logics (SYSMICS), Salerno, Italy, 5-8 September 2017.
  17. 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.
  18. Sheaves and Duality, Commutative Algebra and Algebraic Geometry Seminar, CUNY Graduate Center, 21 April 2017.
  19. Machines, Models, Monoids, and Modal logic, ALCOP 2017, Glasgow, Scotland, 10-12 April 2017.
  20. Pro-aperiodic monoids via saturated models (extended technical report), STACS 2017, Hannover, Germany, 8-11 March 2017.
  21. Pro-aperiodic monoids via saturated models, Mathematics Department, Bronx Community College, 14 February 2017.
  22. Pro-aperiodic monoids via saturated models, Mathematics Department, New Mexico State University, 27 January 2017.
  23. 2016

  24. A Taste of Logic, outreach talk aimed at undergraduate students, Mathematics Department, City College of New York, 8 December 2016.
  25. Stone duality, logic on words, and profinite monoids, three hour invited tutorial, Berkeley-Stanford Circle in Logic and Philosophy, 12 November 2016.
  26. Proaperiodic monoids via saturated models, {Symmetry, Logic, Computation} workshop, Simons Institute, Berkeley, 7 November 2016.
  27. 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.
  28. Proaperiodic monoids and model theory, New York Applied Algebra Colloquium, 27 September 2016.
  29. Monadic second order logic as the model companion of temporal logic, Logic In Computer Science (LICS), New York, 5-8 July 2016.
  30. Studying profinite monoids via logic, International Workshop on Topological Methods in Logic V, Tbilisi, 13-17 June 2016.
  31. Sheaf representations via duality, OAL 2016, Penn State Behrend, Erie, 8-11 June 2016.
  32. Studying profinite monoids via logic, Logic Workshop, New York, 15 April 2016.
  33. Studying profinite semigroups via logic, Algebra|Coalgebra Seminar, Amsterdam, 30 March 2016.
  34. Model completeness and uniform interpolation in algebraic logic, Shanks Workshop, Nashville, 6-7 February 2016.
  35. 2015

  36. Monadic second order logic as the model companion of modal logic, DuaLL seminar, LIAFA/PPS/IRIF, Université Paris-Diderot, 19 November 2015.
  37. 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.
  38. Monadic second order logic on infinite words is the model companion of linear temporal logic, TACL, Ischia, 21 - 26 June 2015.
  39. Uniform Interpolation and Compact Congruences, TACL, Ischia, 21 - 26 June 2015.
  40. On (Uniform) Interpolation in Non-Classical Logic, invited talk at SGSLPS Workshop on Many-Valued Logics, Bern, 22 May 2015.
  41. Uniform interpolation and the congruence lattice, Workshop on Admissible Rules and Unification II, Les Diablerets, 30 January - 2 February 2015.
  42. 2014

  43. Duality for sheaf representations of distributive lattices, Beyond 2014, Florence, 3 - 5 December 2014.
  44. A duality perspective on boundedness in automata, Domains XI, Paris, 8 - 10 September 2014.
  45. Free algebras for Gödel-Löb provability logic, Advances in Modal Logic, Groningen, 5 - 8 August 2014.
  46. Cut and completion?, Logic, Algebra and Truth Degrees, Vienna, 16 - 19 July 2014.
  47. Duality for sheaf representations of distributive-lattice-ordered algebras, International Workshop on Topological Methods in Logic IV, Tbilisi, 23 - 27 June 2014.
  48. Sheaves and duality for MV-algebras, Spring Symposium of the Dutch Mathematics cluster DIAMANT, Arnhem, 5 - 6 June 2014.
  49. Sheaves and duality in logic, Mathematical Colloquium, University of Bern, 26 May 2014.
  50. The boundedness problem: towards a duality approach, FREC (Frontiers of RECognizability) final conference, CIRM, Luminy, 28 - 30 April 2014.
  51. Free algebras for Gödel-Löb provability logic, Algebra|Coalgebra seminar, Universiteit van Amsterdam, 16 April 2014.
  52. 2013

  53. Universal models for intuitionistic logic and its fragments: a duality based approach, TbiLLC 2013, Gudauri, 23 - 27 September 2013.
  54. Duality for sheaves of distributive-lattice-ordered algebras over stably compact spaces, invited talk at BLAST 2013, Chapman University, Orange, 5 - 9 August 2013.
  55. 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.
  56. A topological proof of Gödel's completeness theorem for first order logic, Cool Logic Seminar, ILLC, University of Amsterdam, 17 May 2013.
  57. A non-commutative Priestley duality, PhDs in Logic V, Munich center for Mathematical Philosophy, 8 April 2013.
  58. A non-commutative Priestley duality, Algebra Coalgebra Seminar, Universiteit van Amsterdam, 13 February 2013.
  59. 2012

  60. A topological proof of Gödel's completeness theorem for first order logic, LAAG seminar, LIAFA, Université Paris-Diderot VII, 20 December 2012.
  61. Stone duality in ten minutes, talk at Journée des entrants, LIAFA, Université Paris-Diderot VII, 10 October 2012.
  62. A non-commutative Priestley duality, talk at Duality theory in algebra, logic and computer science, part 2, University of Oxford, 17 August 2012.
  63. 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.
  64. On Priestley duality and sheaf representations for MV-algebras, contributed talk at ALCOP 2012, Prague, 16-18 April 2012.
  65. 2011

  66. Spaces with and without points, invited talk at WONDER PhD Colloquium, Utrecht, 7 October 2011.
  67. Canonical extensions for stably compact spaces, presentation at Workshop on Aspects of Duality Theory, University of Oxford, 2-3 August 2011.
  68. Free algebras via a functor on partial algebras contributed talk at Topology, Algebra, Categories in Logic (TACL), Université de Provence, Marseille, 29 July 2011.
  69. 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.
  70. Free algebras via a functor on partial algebras, PhD Seminar, Computer Science Department, invited talk, University of Leicester, 6 July 2011.
  71. 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.
  72. Constructing the Lindenbaum algebra for a logic step-by-step using duality, invited talk at Workshop on Universal Models, University of Amsterdam, 24 February 2011.
  73. 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.
  74. 2010

  75. Canonical extensions and Stone duality for strong proximity lattices, contributed talk at DIAMANT/EIDMA symposium, Het Bosgoed, Lunteren, The Netherlands, 26 November 2010.
  76. 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.
  77. 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.

Other meetings