RelMiCS stands for ``Relational Methods in Computer Science'', encompassing all results, methods, techniques or topics used in Computer Science which are consciously based on the Calculus of Relations. We invite submission of any topics of interest. Papers, books, research projects, tools, conferences and any other information on activities concerning Relational Methods can be posted and will be distributed to all subscribers.
There also is a WWW page at the following URL:
To see the collection of prior postings to the list,
visit the RelMiCS-l
The current archive is only available to the list members.
Subscribe to RelMiCS-l by filling out the following
You will be sent email requesting confirmation, to prevent others from gratuitously subscribing you. Once confirmation is received, your request will be held for approval by the list administrator. You will be notified of the administrator's decision by email. This is also a hidden list, which means that the members list is available only to the list administrator.