BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2010/newsitem/3374/21-
 23-September-2010-Workshop-on-Lattices-and-Binary-
 Relations-London-UK
DTSTAMP:20100506T000000
SUMMARY:Workshop on Lattices and Binary Relations,
  London, UK
ATTENDEE;ROLE=Speaker:Peter Jipsen, Hilary Priestl
 ey (tbc), Georg Struth, and others
DTSTART;VALUE=DATE:20100921
DTEND;VALUE=DATE:20100923
LOCATION:London, UK
DESCRIPTION:The aim of the workshop is to draw tog
 ether new research, conducted in various countries
 , under the broad heading of lattices with additio
 nal operations. A particular focus will be on latt
 ices of binary relations expanded with relational 
 operations. Examples of such lattice expansions in
 clude various fragments/variants of relation algeb
 ra, Kleene algebra, domain algebra, residuated alg
 ebras, etc. Particular research topics include  - 
 (finite) axiomatisability of classes of algebras  
 - computational aspects e.g. decidability and comp
 lexity of the equational theory, representation pr
 oblem for abstract algebras, finite representation
  property  - duality theory, completions and canon
 ical extensions  - applications to substructural l
 ogics and program semantics.    The workshop is ai
 med at postgraduate research students with a backg
 round in mathematics and advanced researchers in t
 he field.   For more information, see http://www.d
 cs.bbk.ac.uk/~szabolcs/workshop/workshop.html   We
  invite contributed talks on any topic related to 
 these themes. Please send a title and brief abstra
 ct to szabolcs at dcs.bbk.ac.uk by 1st July 2010.
X-ALT-DESC;FMTTYPE=text/html:<div>\n        <p>The
  aim of the workshop is to draw together new resea
 rch, conducted in\n        various countries, unde
 r the broad heading of lattices with additional\n 
        operations. A particular focus will be on l
 attices of binary relations\n        expanded with
  relational operations. Examples of such lattice\n
         expansions include various fragments/varia
 nts of relation algebra,\n        Kleene algebra, 
 domain algebra, residuated algebras, etc.\n       
  Particular research topics include<br/>\n        
 -         (finite) axiomatisability of classes of 
 algebras<br/>\n        -         computational asp
 ects e.g. decidability and complexity of the\n    
     equational theory, representation problem for 
 abstract algebras, finite\n        representation 
 property<br/>\n        -         duality theory, c
 ompletions and canonical extensions<br/>\n        
 -         applications to substructural logics and
  program semantics.\n        </p>\n        <p>\n  
       The workshop is aimed at postgraduate resear
 ch students with a\n        background in mathemat
 ics and advanced researchers in the field.\n      
   </p>\n    \n      \n        <p>For more informat
 ion, see <a target="_blank" href="http://www.dcs.b
 bk.ac.uk/~szabolcs/workshop/workshop.html">http://
 www.dcs.bbk.ac.uk/~szabolcs/workshop/workshop.html
 </a></p>\n\n    </div><div>\n        <p>\n        
 We invite contributed talks on any topic related t
 o these themes.\n        Please send a title and b
 rief abstract to <a class="email">szabolcs <span c
 lass="at">at</span> dcs.bbk.ac.uk</a> by 1st July 
 2010.</p>\n      </div>
URL:/NewsandEvents/Archives/2010/newsitem/3374/21-
 23-September-2010-Workshop-on-Lattices-and-Binary-
 Relations-London-UK
END:VEVENT
END:VCALENDAR