Workshop on Lattices and Relations, London, 21-23 September
- APOLOGIES FOR MULTIPLE COPIES
Workshop on Lattices and Binary Relations
Aims and Scope
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
. 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.
Peter Jipsen, Hilary Priestley (tbc), Georg Struth.
Format and Venue
The workshop will take place at University College London, 21st-23rd
Call For Participation
There is no charge for registration, but those interested in attending
should email szabolcs@... to secure their place.
We also invite contributed talks on any topic related to these themes.
Please send a title and brief abstract to szabolcs@... by 1st
Robin Hirsch (r.hirsch@...) and
Szabolcs Mikulas (szabolcs@...)