Workshop on Lattices and Relations

12-14th September 2012

Institute for Logic, Language and Computation

University of Amsterdam

The Netherlands

[Aim and Scope]    [Invited Speakers]    [Programme]     [Featured Topics]    [Important Dates]    [Organizers]    [Information]    [Practical Info]

Aims and Scope

  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 non-classical logics, as well as in the foundations of computer science, where they have widespread applications. This has led to the formation of a research area that is defined by 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 such as logic, universal algebra, topology, category theory, order, and model theory.

  The workshop is aimed to bring together researchers from various countries who are active in different facets of this area.This is the second workshop in the series: the first installment of this workshop has been organized at the University College in London (2010). While lattices and relations are the main thread of this workshop, the the second installment particularly welcomes contributions about connections with topics such as semigroups, semirings, quantales, Kleene algebras, fixpoint calculi.