CFP: RelMiCS8 - Relational Methods in Computer Science
From: Michael Winter (mwinter_at_cosc.brocku.ca)
Date: 02/18/04
- Next message: flip: "Re: CA & Numerical Analysis?"
- Previous message: Jim Nastos: "Re: No Set Contains Every Computable Natural"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: Wed, 18 Feb 2004 03:24:55 GMT
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 <comp-ai@moderators.isc.org>, and ]
[ ask your news administrator to fix the problems with your system. ]
- Next message: flip: "Re: CA & Numerical Analysis?"
- Previous message: Jim Nastos: "Re: No Set Contains Every Computable Natural"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Relevant Pages
|
