7th International Seminar on Relational Methods in Computer Science (RelMiCS 7)

in combination with the

2nd International Workshop on Applications of Kleene Algebra

Malente (near Kiel), Germany
Monday, May 12, 2003 - Saturday, May 17, 2003

General | Topics | Extended Abstracts | Full Papers | Dates | Program committee | Local organizers | Contact | Call for papers | Sponsors
Programme | Accepted papers | Registration and accommodation | Travel information | Participants | Picture Gallery


The purpose of this meeting is to bring together researchers from various subdisciplines of Computer Science and Mathematics who use the calculus of relations and/or Kleene algebra as methodological and conceptual tools in their work. Due to the substantial common interest and overlap of the two communities, these two workshops will be held jointly in 2003. As in the previous RelMiCS meeting, contributions out of the EU COST action 274 Theory and Applications of Relational Structures as Knowledge Instruments (TARSKI) are highly appreciated.

The relational calculus originated with Tarski's abstract algebraic treatment of binary relations in 1941. Kleene Algebra is a related algebraic system for calculating with sequential composition, choice and finite iteration. It was first introduced by Kleene in 1956 and further developed by Conway in 1971. The classical application of Kleene algebra is in the theory of formal languages, where it is one of many equivalent approaches to the description of regular languages. Modeling with relational structures is often formulated in terms of Kleene algebras. An important subclass of Kleene algebras are the relational algebras, which constitute the basis of Tarski's work.

Previous RelMiCS meetings were held in Dagstuhl (1994), Parati (1995), Hammamet (1997), Warsaw (1998), Québec (2000), and Oisterwijk (2001). The proceedings of RelMiCS 1-5 were published as books (RelMiCS 1 and 4) or special issues of journals (RelMiCS 2, 3, and 5). The proceedings of RelMiCS 6 appeared as a volume of the Springer-Verlag Lecture Notes in Computer Science (LNCS) series. The first very successful meeting on Kleene algebra was held at Schloss Dagstuhl, Germany, in February 2001.


The topics mentioned above have appeared in many contexts in Computer Science and Mathematics, for instance:

We are soliciting further contributions on the above topics but also in new areas of application. Papers on theoretical foundation of the calculus of relations and Kleene algebra or on their mechanization are highly welcome.

Extended Abstracts

Authors are invited to submit an extended abstract written in English and not exceeding seven pages in postscript or PDF format electronically to:


Ongoing research is welcome as well. Abstracts will be selected for presentation at the meeting by a joint programme committee and collected as informal ``participants' proceedings''. After the meeting, authors of selected abstracts will be invited to submit full papers for the final joint proceedings. Therefore, they can incorporate useful feedback on their preliminary research. The final papers will be formally refereed and will be published as an LNCS volume by Springer Verlag. Therefore, the latest LNCS style file for LaTeX2e (llncs.cls) should be used for the extended abstracts, too. Please have also a look onto the Authors Instructions subpage.

We kindly ask you to send us the LaTeX sources of your extended abstracts, because this would make the production of the ``participants' proceedings'' much more easier for us. Please do not send a seperate BibTeX file, but include your bibliographic data directly in the LaTeX source.

Full Papers

All authors of extended abstracts in the participants' proceedings of the meeting are invited to submit full papers for the final proceedings which will be published as a Springer LNCS volume. Submissions must be prepared using the latest version of LNCS style file for LaTeX2e (llncs.cls) for style conventions. Please do not change the style of the title, institution, bibliography and so on, but use the original llncs macros! Please also take a look onto the Authors Instructions subpage. The page limit is 12 pages.

(Authors not keeping the llncs style conventions or the limit of 12 pages risc immediate rejection of their contribution!)

Submission deadline is July 1, 2003.

Manuscripts should be sent in .ps or .pdf format to


We plan to finish the reviewing process during October 2003 and to obtain the camera ready versions during November 2003 so that the volume can be published at the beginning of 2004.

Members of the program committee are able to read the list of already submitted full papers in order to have access to the submissions.

Important Dates

Submission of extended abstracts: February 1, 2003
Notification of acceptance: February 15, 2003
Camera ready extended abstracts: March 15, 2003
Electronic registration available until: March 28, 2003
Workshop: May 12-17, 2003
Submission deadline for full papers: July 1, 2003
Reviewing process finished until: October 2003
Obtaining camera ready versions: November 2003
Publishing of Springer LNCS volume: Beginning of 2004

Program committee

Roland Backhouse (U. Nottingham, UK)
Rudolf Berghammer (U. Kiel, Germany)
Richard Bird (Oxford U., UK)
Jules Desharnais (U. Laval, Canada)
Ivo Düntsch (Brock U., Canada)
Marcelo Frias (U. Buenos Aires, Argentina)
Ali Jaoua (U. Qatar, Qatar)
Dexter Kozen (Cornell U., USA)
Bernhard Möller (U. Augsburg, Germany)
Oege de Moor (Oxford U., UK)
Ewa Orlowska (U. Warsaw, Poland)
Gunther Schmidt (UniBW Munich, Germany)
Harrie de Swart (U. Tilburg, The Netherlands)
Joakim von Wright (Åbo Akademi U., Finland)

The proceedings will be edited by R. Berghammer and B. Möller.

Local organisation

R. Berghammer
U. Milanese
F. Neumann
U. Pollakowski-Geuther


RelMiCS 7
Prof. Rudolf Berghammer
Institut für Informatik und Praktische Mathematik
Christian-Albrechts-Universität Kiel
Olshausenstr. 40
D-24098 Kiel, Germany
Phone: ++49-(0)431-880-7272 or -7270 (Secr.)
Fax: ++49-(0)431-880-7613
Email: relmics7@informatik.uni-kiel.de

Original Call for Papers

You can view or download the original Call for Papers as:
plain text
DVI file
Postscript file
PDF file


We would like to thank the following institutions for supporting this event:

Rudolf Berghammer - rub@informatik.uni-kiel.de
Last modified: 17-Sep-2003, 15:06:04 MEST