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
Tuesday, February 22, 2005 - Saturday, February 26,
2005
Quality
Hotel Parkway Convention Center,
St. Catharines, Ontario, Canada
organized by
Department
of Computer
Science, Brock University
Since
the mid 70’s it has become clear that the calculus of relations is a
fundamental conceptual and methodological tool in both computer science
and
logic. While applications in computer science are evolving rapidly in
such
areas as communication, programming, software, data or knowledge
engineering,
abstract and formal methods are needed to understand handle design,
algorithmic
and information complexity. Formal
approaches are now considered necessary to the future development of
many areas
of computer science, for example in the specification and verification
of
highly distributed systems. Among several formal approaches, relation
algebra
has been used as a basis for analyzing, modeling or resolving several
computer
science problems such as program specification, heuristic approaches
for
program derivation, automatic prover design, database and software
decomposition,
program fault tolerance, testing, data abstraction and information
coding.
While axiomatically simple, relation algebra covers large variety of
information structures.
The
calculus of relations has been an important component of the
development of
logic and algebra since the middle of the nineteenth century, when
Augustus de
Morgan demonstrated the importance of relational reasoning. George
Boole initiated
the treatment of logic as part of mathematics, specifically as part of
algebra.
Algebraic logic, in which the calculus of relations plays a prominent
part, was
taken up by Peirce,
Schröder, and
subsequently by Tarski
in
his
seminal paper On the calculus of
relations, in 1941; this gave rise to the study of relation
algebras, which
in its modern form overlaps with universal algebra, model theory,
nonclassical
logics, and category theory. The role of the calculus of relations in
the
interaction between algebra and logic is now well understood, and
relational
methods are part of the toolbox of the mathematician and logician.
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, specificatio 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
- Schloß
Dagstuhl, Germany, January 1994
-
Parati
(near Rio de Janeiro), Brazil September 1995
-
Hammamet,
Tunisia, January 1997
-
Stefan
Banach Center, Warsaw, Poland, September 1998
-
Valcartier
(near Québec City),
Canada, January 2000
-
Osterwijk
(near Tilburg), The Netherlands,
October 2001
- Malente
(near Kiel), Germany, May 2003
Roland Backhouse,
University of Nottingham, UK
Rudolf
Berghammer, Christian-Albrechts-University of Kiel, Germany
Jules
Desharnais, Université Laval, Canada
Marc Frappier,
Université de Sherbrooke,
Canada
Marcelo
Frias, University of Buenos Aires, Argentina
Peter
Jipsen, Chapman University, USA
Wolfram
Kahl, McMaster, Canada
Yasuo
Kawahara, Kyushu University, Japan
Bernhard
Möller, University of Augsburg, Germany
Ewa Orlowska, Institute of Telecommunications, Poland
Ivo Rosenberg,
Université de Montréal,
Canada
Gunther
Schmidt, UniBw Munich, Germany
Georg Struth,
University of Augsburg, Germany
Burhan
Türksen, University of Toronto, Canada
Organizing Committee (also part of
the program committee)
|
Ivo Düntsch,
Brock University, Canada
Wendy
MacCaull, St.Francis Xavier University, Canada
Michael Winter, Brock University, Canada
Submission (Extended Abstracts)
|
Authors are invited to submit an extended abstract not exceeding 8
pages in
postscript or
pdf format to
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.
Submission (Conference Proceedings)
|
We wish to invite all the participants of RelMiCS 8 to submit a paper
for consideration for publication in a special conference volume. The
papers will be thoroughly refereed and should not exceed 12 pages in
length (usual LNCS format). All papers must be written in Latex. We
will be using the llncs style file and authors are asked to please not
make adjustments to the llncs style in their paper. Please use the
latest
LNCS
style file for LaTeX2e (llncs.cls) and have a look onto the
Authors
Instructions subpage.
Each submission must clearly indicate the contact author.
Please e-mail submissions to
wmaccaul@stfx.ca.
Submission of extended abstract:
|
October
01, 2004 |
October 22, 2004
|
|
| Notification of acceptance: |
November
19,
2004 |
December 13, 2004
|
December 20, 2004
|
| Camera ready extended abstracts: |
December
17, 2004 |
December 22, 2004
|
January 07, 2005
|
Submission (conference
proceedings)
|
June 03, 2005
|
|
|
First Announcement
First Call
for Papers
Second Call for Papers
Final Call for Papers
First Call for Papers (conference
proccedings) (ms-word)
Contact: info@relmics8.org
