XPost: comp.ai.fuzzy, comp.theory, comp.databases.theory   
   XPost: comp.object   
   From: mwinter@cosc.brocku.ca   
      
   First 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:   
      
   	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   
   	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 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   
      
   [ 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. ]   
   ------------ And now a word from our sponsor ------------------   
   For a quality usenet news server, try DNEWS, easy to install,   
   fast, efficient and reliable. For home servers or carrier class   
   installations with millions of users it will allow you to grow!   
   ----  See http://netwinsite.com/sponsor/sponsor_dnews.htm  ----   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)