12-14 September 2012, Workshop on Lattices and Relations (L&R 2012), University of Amsterdam
Relation algebra in its modern form has been developed in fruitful exchange with neighbouring disciplines such as lattice and order theory, universal algebra, category theory, topology and model theory. Relational and lattice-theoretic methods are important to the semantic study of many nonclassical logics, as well as in the foundations of computer science, where they are widely applied. This has led to a research area with a quite liberal attitude in which results, tools and techniques from neighbouring fields are freely transported and combined. The area thus serves as an interface between fields and application domains.
The workshop aims to bring together researchers from
various countries who are active in different facets of this
area. Invited speakers include Zoltan Esik
For more information, see http://www.illc.uva.nl/Workshops/LR2012/
Contributions are invited, particularly about connections with topics such as semigroups, semirings, quantales, Kleene algebras, fixpoint calculi. Deadline for abstract submission (extended): 30 June 2012.