CFP: RelMiCS8 - Relational Methods in Computer Science
From: Michael Winter <mwinter_at_cosc.brocku.ca>
Date: Wed, 18 Feb 2004 03:24:55 GMT
Message-ID: <4032db01$1_at_news.unimelb.edu.au>
Date: Wed, 18 Feb 2004 03:24:55 GMT
Message-ID: <4032db01$1_at_news.unimelb.edu.au>
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
- Dagstuhl, Germany (1994)
- Parati, Brazil (1995)
- Hammamet, Tunesia (1997)
- Warsaw, Poland (1998)
- Quebec, Canada (2000)
- Oisterwijk, The Netherlands (2001)
- Malente, Germany (2003)
A call for papers will follow.
Contact: info_at_relmics8.org
[ comp.ai is moderated. To submit, just post and be patient, or if ] [ that fails mail your article to <comp-ai_at_moderators.isc.org>, and ] [ ask your news administrator to fix the problems with your system. ]Received on Wed Feb 18 2004 - 04:24:55 CET