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:
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
\n
- (finite) axiomatisability of classes of
algebras
\n - computational asp
ects e.g. decidability and complexity of the\n
equational theory, representation problem for
abstract algebras, finite\n representation
property
\n - duality theory, c
ompletions and canonical extensions
\n
- applications to substructural logics and
program semantics.\n
\n The workshop is aimed at postgraduate resear ch students with a\n background in mathemat ics and advanced researchers in the field.\n
\n \n \nFor more informat ion, see http:// www.dcs.bbk.ac.uk/~szabolcs/workshop/workshop.html
\n We invit e contributed talks on any topic related to these themes.\n Please send a title and brief abs tract to szabolcs at dcs.bbk.ac.uk by 1st July 2010.
\n