Second Call for Papers for the

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

            	      in combination with the

	                COST 274 / TARSKI Workshops
		
		                     and the
			
		           3rd International Workshop on
                       Applications of Kleene Algebra

			
                              February 22-26, 2005
                        St. Catharines, Ontario, Canada

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. 

The relational calculus originated with Tarski's abstract algebraic
treatment of binary relations in 1941. Kleene Algebra is a related algebraic
system. It was first introduced by Kleene in 1956 and further developed
by Conway in 1971.

Topics of this conference include but are not limited to:
- Relation, Cylindric, Fork and Kleene Algebras
- Relational proof theory and decidability issues
- Relational representation theorems
- Applications to programming, databases and analysis of data, such as:
   * Semantics of programming languages, program verification, specification
     and development and program analysis
   * Assertion calculi, modal and dynamic logic, interval and temporal logic
   * Duration calculus and timed automata
   * Process and network algebras
   * Modeling real world situations
   * Relational reasoning in qualitative physics and cognitive science
   * Knowledge acquisition, preference modeling, and scaling methods
- Computer systems for relational knowledge representation

Previous RelMiCS meetings were held in 
	1) Dagstuhl, Germany (1994)
	2) Parati, Brazil (1995)
	3) Hammamet, Tunesia (1997)
	4) Warsaw, Poland (1998)
	5) Québec, Canada (2000)
	6) Oisterwijk, The Netherlands (2001)
	7) Malente, Germany (2003)

Authors are invited to submit an extended abstract not exceeding 8 pages 
in postscript or pdf format to

			info@relmics8.org

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.

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, Argentinia
	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

Important dates:

	Submission of extended abstract:	October 01, 2004
	Notification of acceptance:		November 19, 2004
	Camera ready extended abstracts:	December 17, 2004


Further details may be found on the following Web-site:

                http://www.relmics8.org

Contact: info@relmics8.org