8th International Conference on Relational Methods in Computer Science (RelMiCS 8)

RelMiCS 8

in combination with the

COST 274 / TARSKI Workshops 


and the

3rd International Workshop on Applications of Kleene Algebra

Tuesday, February 22, 2005 - Saturday, February 26, 2005

Quality Hotel Parkway Convention Center,

St. Catharines, Ontario, Canada

organized by

Department of Computer Science, Brock University

Aims and scope | Program committee | Organazing committee | Submission | Important dates | Sponsors
Registration and Accommodation | Directions | Programme

Aims and scope

Since the mid 70’s it has become clear that the calculus of relations is a fundamental conceptual and methodological tool in both computer science and logic. While applications in computer science are evolving rapidly in such areas as communication, programming, software, data or knowledge engineering, abstract and formal methods are needed to understand handle design, algorithmic and information complexity.  Formal approaches are now considered necessary to the future development of many areas of computer science, for example in the specification and verification of highly distributed systems. Among several formal approaches, relation algebra has been used as a basis for analyzing, modeling or resolving several computer science problems such as program specification, heuristic approaches for program derivation, automatic prover design, database and software decomposition, program fault tolerance, testing, data abstraction and information coding. While axiomatically simple, relation algebra covers large variety of information structures.

The calculus of relations has been an important component of the development of logic and algebra since the middle of the nineteenth century, when Augustus de Morgan demonstrated the importance of relational reasoning. George Boole initiated the treatment of logic as part of mathematics, specifically as part of algebra. Algebraic logic, in which the calculus of relations plays a prominent part, was taken up by Peirce, Schröder, and subsequently by Tarski in his seminal paper On the calculus of relations, in 1941; this gave rise to the study of relation algebras, which in its modern form overlaps with universal algebra, model theory, nonclassical logics, and category theory. The role of the calculus of relations in the interaction between algebra and logic is now well understood, and relational methods are part of the toolbox of the mathematician and logician.

Topics of this conference include but are not limited to:

Previous RelMiCS meetings were held in

  1. Schloß Dagstuhl, Germany, January 1994
  2. Parati (near Rio de Janeiro), Brazil September 1995
  3. Hammamet, Tunisia, January 1997
  4. Stefan Banach Center, Warsaw, Poland, September 1998
  5. Valcartier (near Québec City), Canada, January 2000
  6. Osterwijk (near Tilburg), The Netherlands, October 2001
  7. Malente (near Kiel), Germany, May 2003

Program Committee

Roland Backhouse, University of Nottingham, UK
 Rudolf Berghammer, Christian-Albrechts-University of Kiel, Germany
    Jules Desharnais, Université Laval, Canada
    Marc Frappier, Université de Sherbrooke, Canada
    Marcelo Frias, University of Buenos Aires, Argentina
    Peter Jipsen, Chapman University, USA
    Wolfram Kahl, McMaster, Canada
    Yasuo Kawahara, Kyushu University, Japan
    Bernhard Möller, University of Augsburg, Germany
    Ewa Orlowska, Institute of Telecommunications, Poland
    Ivo Rosenberg, Université de Montréal, Canada
    Gunther Schmidt, UniBw Munich, Germany
Georg Struth, University of Augsburg, Germany
    Burhan Türksen, University of Toronto, Canada

Organizing Committee (also part of the program committee)
    Ivo Düntsch, Brock University, Canada
    Wendy MacCaull, St.Francis Xavier University, Canada
    Michael Winter, Brock University, Canada

Submission (Extended Abstracts)

Authors are invited to submit an extended abstract not exceeding 8 pages in postscript or pdf format 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. The final papers will be formally refereed; it is planned to publish them as an LNCS volume. Therefore, the latest LNCS style file for LaTeX2e (llncs.cls) should be also used for the extended abstracts. 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.

Submission (Conference Proceedings)

We wish to invite all the participants of RelMiCS 8 to submit a paper for consideration for publication in a special conference volume. The papers will be thoroughly refereed and should not exceed 12 pages in length (usual LNCS format). All papers must be written in Latex. We will be using the llncs style file and authors are asked to please not make adjustments to the llncs style in their paper. Please use the latest LNCS style file for LaTeX2e (llncs.cls) and have a look onto the Authors Instructions subpage.

Each submission must clearly indicate the contact author.

Please e-mail submissions to wmaccaul@stfx.ca.

Important dates

Submission of extended abstract:
October 01, 2004 October 22, 2004

Notification of acceptance: November 19, 2004 December 13, 2004
December 20, 2004
Camera ready extended abstracts: December 17, 2004 December 22, 2004
January 07, 2005
Submission (conference proceedings)
June 03, 2005

Call for papers

First Announcement

First Call for Papers

Second Call for Papers

Final Call for Papers

First Call for Papers (conference proccedings)    (ms-word)


Contact: info@relmics8.org

Michael Winter - mwinter@cosc.brocku.ca
Last modified: March 16, 2005