\n

The
aim of the workshop is to draw together new resea
rch, conducted in\n various countries, unde
r the broad heading of lattices with additional\n
operations. A particular focus will be on l
attices of binary relations\n expanded with
relational operations. Examples of such lattice\n
expansions include various fragments/varia
nts of relation algebra,\n Kleene algebra,
domain algebra, residuated algebras, etc.\n
Particular research topics include

\n
- (finite) axiomatisability of classes of
algebras

\n - computational asp
ects e.g. decidability and complexity of the\n
equational theory, representation problem for
abstract algebras, finite\n representation
property

\n - duality theory, c
ompletions and canonical extensions

\n
- applications to substructural logics and
program semantics.\n

\n The workshop is aimed at postgraduate resear ch students with a\n background in mathemat ics and advanced researchers in the field.\n

\n \n \nFor more informat ion, see http:// www.dcs.bbk.ac.uk/~szabolcs/workshop/workshop.html

\n\n\n

URL:/NewsandEvents/Events/Conferences/newsitem/337
4/21-23-September-2010-Workshop-on-Lattices-and-Bi
nary-Relations-London-UK
END:VEVENT
END:VCALENDAR
\n We invite contributed talks on any topic related t o these themes.\n Please send a title and b rief abstract to szabolcs at dcs.bbk.ac.uk by 1st July 2010.

\n