Varieties of algebras of relations

Ian Hodkinson

(Imperial College)

I will attempt to survey some theoretical work done in London over the last five years on resolving problems on representability of algebras of relations, a topic in algebraic logic. Those interested in a foretaste may browse http://www.cs.ucl.ac.uk/staff/R.Hirsch/ http://www.doc.ic.ac.uk/~imh/frames_website/AL.html http://www.doc.ic.ac.uk/~kuag/ http://www.dcs.bbk.ac.uk/~szabolcs/
Tuesday 27th February 2001, 14:00
Board Room
Department of Computer Science