XPost: comp.ai.fuzzy, comp.theory, comp.databases.theory   
   XPost: comp.object   
   From: mwinter@cosc.brocku.ca   
      
                           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)   
      
   A call for papers will follow.   
      
   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)