XPost: comp.ai, sci.math, sci.math.symbolic   
   From: mwinter@cosc.brocku.ca   
      
   Due to repeated requests, the paper submission deadline has been   
   extended to Friday, October 22.  This extension is final.   
      
   **** Please apologize for multiple copies ****   
      
      
   	FINAL 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) Quebec, 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, Universite Laval, Canada   
   	Marc Frappier, Universite 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 Moeller, University of Augsburg, Germany   
   	Ewa Orlowska, Institute of Telecommunications, Poland   
   	Ivo Rosenberg, Universite de Montreal, Canada   
   	Gunther Schmidt, UniBw Munich, Germany   
   	Georg Struth, University of Augsburg, Germany   
   	Burhan Tuerksen, University of Toronto, Canada   
      
   Organizing Committee (also part of the program committee):	   
      
   	Ivo Duentsch, Brock University, Canada   
   	Wendy MacCaull, St.Francis Xavier University, Canada   
   	Michael Winter, Brock University, Canada   
      
   Important dates:   
      
   	Submission of extended abstract:	October 22, 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   
      
   [ comp.ai is moderated.  To submit, just post and be patient, or if ]   
   [ that fails mail your article to , and ]   
   [ ask your news administrator to fix the problems with your system. ]   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)