Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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

Speaker: Peter Jipsen, Hilary Priestley (tbc), Georg Struth, and others
Date: 21-23 September 2010
Location: London, UK
Deadline: 1 July 2010

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 by 1st July 2010.

Please note that this newsitem has been archived, and may contain outdated information or links.