Workshop on Lattices, Relations and Kleene Algebras

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 equipped with relational operations. Examples of such lattice expansions include various reducts of relation algebra, Kleene algebra, domain algebra, residuated algebras, etc. Particular research topics include

  • the (finite) axiomatisability of a class of algebras

  • computational aspects e.g. decidability and complexity of the equation theory of a class of lattices, representation problem for abstract lattice expansions, finite representation property

  • Duality theory, 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 Workshop programme click here

     
    Format and Venue

    The workshop will take place in Room 110, Roberts Building, University College London, 21st-23rd September. There is no charge for registration, but those interested in attending should email szabolcs@dcs.bbk.ac.uk to secure their place.
     

    Call For Participation

    The invitation to contributed talks is now closed.