News and Events: 12-14 September 2012, Workshop on Lattices and Relations (L&R 2012), University of Amsterdam
Costs: no registration fee
Newsitem added on 22 April 2012.
Relation algebra in its modern form has been developed in fruitful exchange with neighbouring disciplines such as lattice and order theory, universal algebra, category theory, topology and model theory. Relational and lattice-theoretic methods are important to the semantic study of many nonclassical logics, as well as in the foundations of computer science, where they are widely applied. This has led to a research area with a quite liberal attitude in which results, tools and techniques from neighbouring fields are freely transported and combined. The area thus serves as an interface between fields and application domains.
The workshop aims to bring together researchers from
various countries who are active in different facets of this
area. Invited speakers include Zoltan Esik
Contributions are invited, particularly about connections with topics such as semigroups, semirings, quantales, Kleene algebras, fixpoint calculi. Deadline for abstract submission (extended): 30 June 2012.
For more information, see http://www.illc.uva.nl/Workshops/LR2012/