Relational Methods in Computer Science

Welcome to the home page of RelMiCS, an international cooperation to study Relational Methods in Computer Science. Researchers from all regularly inhabited continents participate in this project.

A separate page attempts to sketch the Scope of Relation Algebra in Computer Science.

This site informs you of future, current and past activities of the RelMiCS community such as workshops and publications. You can download software supporting relational methods, communicate with other people using the mailing list, or visit the pictures corner to meet persons playing a crucial role in the development of relation calculus. Last but not least an extended bibliography is available.

Maintained by: Wolfram Kahl