Please note that this newsitem has been archived, and may contain outdated information or links.
21-23 September 2010, Workshop on Lattices and Binary Relations, London, UK
The aim of the workshop is to draw together new research, conducted in
various countries, under the broad heading of lattices with additional
operations. A particular focus will be on lattices of binary relations
expanded with relational operations. Examples of such lattice
expansions include various fragments/variants of relation algebra,
Kleene algebra, domain algebra, residuated algebras, etc.
Particular research topics include
- (finite) axiomatisability of classes of algebras
- computational aspects e.g. decidability and complexity of the
equational theory, representation problem for abstract algebras, finite
representation property
- duality theory, completions and canonical extensions
- applications to substructural logics and program semantics.
The workshop is aimed at postgraduate research students with a background in mathematics and advanced researchers in the field.
For more information, see http://www.dcs.bbk.ac.uk/~szabolcs/workshop/workshop.html
We invite contributed talks on any topic related to these themes. Please send a title and brief abstract to szabolcs at dcs.bbk.ac.uk by 1st July 2010.
Please note that this newsitem has been archived, and may contain outdated information or links.