* Sponsored by The London Mathematical Society
logic forum
Workshop on Lattices, Relations and Kleene Algebras *
Workshop programme

Tuesday, 21 September 2010
Time Presentation Presenter
10:00-11:00 Canonical extensions of lattice expansions: the case of finitely generated varieties. Abstract. Slides. Hilary Priestley (invited)
11:15-12:00 Canonical extensions and the intermediate structure. Abstract. Slides. Andrew Craig
12:15-13:00 Complete representation for distributive lattices. Abstract. Slides. Rob Egrot
  Lunch break
14:15-15:00 Modal correspondence theory on quantales. Abstract. Slides. Alessandra Palmigiano
15:15-16:00 Representation theorems for complete idempotent left semirings. Abstract. Hitoshi Furusawa
16:15-17:00 Parallel computation and canonicity. Abstract. Slides. Tomoyuki Suzuki
Wednesday, 22 September 2010
Time Presentation Presenter

10:00-11:00

 Generalizations of relation algebras from the perspective of (semi)lattices with operators. Abstract. Slides. Peter Jipsen (invited)
11:15-12:00 Some results about wRRA. Abstract. Slides. Ian Hodkinson
  Lunch break
14:15-15:00 Representable domain algebras. Paper.
 Robin Hirsch
15:15-16:00 Axiomatizing generalized subreducts of RRA. Abstract. Slides.
 Szabolcs Mikulas
16:15-17:00 Towards dichotomy results for sub-Boolean description logics. Abstract.
 Michael Zakharyaschev
Thursday, 23 September 2010
Time Presentation Presenter
10:00-11:00 Modal semirings and Kleene algebras. Abstract. Slides.
 Georg Struth (invited)
11:15-12:00 Two probabilistic models of lazy Kleene algebra. Abstract. Norihiro Tsumagari
12:15-13:00 Tools and techniques for probabilistic Kleene Algebras. Abstract. Tahiry Rabehaja
  Lunch break
14:15-15:00 On homomorphisms of extended-order algebras. Abstract. Slides. Sergejs Solovjovs
15:15-16:00 Concurrent Kleene algebras. Abstract. Slides.
 Georg Struth
Print programme (pdf)
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.