Tutorial on Foundations of Relations and Kleene Algebra
Peter Jipsen, Chapman University, USA
This tutorial aims to provide an up-to-date overview of relation algebras and Kleene algebras that will allow participants to follow the theoretical details of many of the subsequent research talks.
Starting with binary relations, partially ordered sets, (semi)lattices, Boolean algebras, monoids, categories, groups, semirings, residuation and iteration, we consider relation algebras and Kleene algebras (with tests) in a common framework and give a host of motivating examples.
Subsequent topics (may) include:
Throughout we touch upon open problems and interesting research directions, with the hope of tapping the collective reasoning power of the participants to make some progress in these fields.