Institute for Logic, Language and Computation

News and Events: 12-14 September 2012, Workshop on Lattices and Relations (L&R 2012), University of Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

Costs: no registration fee
Homepage: http://www.illc.uva.nl/Workshops/LR2012/
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 Szeged and Marcel Jackson La Trobe.

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/