Institute for Logic, Language and Computation

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

Date: 12-14 September 2012
Location: University of Amsterdam
Costs: no registration fee
Deadline: 30 June 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.

For more information, see

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.

The websites of the UvA make use of cookiesThis site uses cookies More informationMore info Hide this message XHide X