Saltar apartados

Department of mathematics

Information about mathematics


Stone duality and application to formal languages - Jean-Enric Pin

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.

XVII Spanish Meeting on Computational Geometry

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.

History of mathematics course

From September 17 to October 6, 2015

Place: A1/1-31M, Aulario I.

Notice: Diplomas can be collected at the Secretary of the Department of Mathematics .

Department of Mathematics

Universidad de Alicante
Carretera de San Vicente del Raspeig s/n
03690 San Vicente del Raspeig
Alicante (Spain)

Tel: (+34) 96 590 3531

Fax: (+34) 96 590 3531

For further information:, and for enquiries on this web server:

Carretera San Vicente del Raspeig s/n - 03690 San Vicente del Raspeig - Alicante - Tel. 96 590 3400 - Fax 96 590 3464