Abstract: Stone's representation theorem states that each Boolean algebra has an associated topological space, called its dual space. A similar result holds for bounded distributive lattices (which are essentially Boolean algebras without complement). This dual space has many interesting topological properties and is in particular compact. I will explain the construction of the dual space in a special case and give numerous examples. Then I will describe some surprising applications to formal language theory.
The XVII Spanish Meeting on Computational Geometry will be held on June 26-28, 2017, at the Faculty of Science, Universidad de Alicante, Alicante, Spain. The main focus of this international conference is on current topics in Discrete and Computational Geometry, including both theoretical and applied results. EGC started in 1990. The intended audience for this conference includes graduate and undergraduate students, researchers in the area or from neighboring disciplines, and members of industry whose work involves geometric algorithms.