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.
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.
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.
|Reviewing process finished until:||October 2003|
|Obtaining camera ready versions:||November 2003|
|Publishing of Springer LNCS volume:||Beginning of 2004|
|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.
Prof. Rudolf Berghammer
Institut für Informatik und Praktische Mathematik
D-24098 Kiel, Germany
Phone: ++49-(0)431-880-7272 or -7270 (Secr.)
|Original Call for Papers|
You can view or download the original Call for Papers as:
We would like to thank the following institutions for supporting this event:
Holtenauer Str. 129
24118 Kiel (Germany)
22844 Norderstedt (Germany)
Informatik und Praktische Mathematik
24098 Kiel (Germany)
COST Action 274