Loading ...
Sorry, an error occurred while loading the content.

Workshop on Lattices and Relations, London, 21-23 September

Expand Messages
  • Szabolcs
    APOLOGIES FOR MULTIPLE COPIES Workshop on Lattices and Binary Relations http://www.dcs.bbk.ac.uk/~szabolcs/workshop/workshop.html Aims and Scope The aim of the
    Message 1 of 1 , Jun 1, 2010
    • 0 Attachment
      APOLOGIES FOR MULTIPLE COPIES

      Workshop on Lattices and Binary Relations
      http://www.dcs.bbk.ac.uk/~szabolcs/workshop/workshop.html


      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
      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.
      Speakers include:
      Peter Jipsen, Hilary Priestley (tbc), Georg Struth.


      Format and Venue

      The workshop will take place at University College London, 21st-23rd
      September 2010.


      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
      July 2010.


      The Organisers:
      Robin Hirsch (r.hirsch@...) and
      Szabolcs Mikulas (szabolcs@...)
    Your message has been successfully submitted and would be delivered to recipients shortly.