[Om-announce] CFP RelMiCS/AKA08

[bernhard Möller]

--------------- [Apologies for multiple postings] ----------------



                Announcement and Call for Papers for the

                    10th International Conference on
           Relational Methods in Computer Science (RelMiCS 10)

                     5th International Conference on
                 Applications of Kleene Algebra (AKA 5)

                           April 7 - 11, 2008
                   Frauenwoerth (near Munich), Germany



Conference
----------

Over the past fifteen years, the RelMiCS meetings have been a main
forum  for  researchers  who  use the calculus  of  relations  and
similar  algebraic  formalisms  as methodological  and  conceptual
tools.  The  workshop  series on Applications  of  Kleene  algebra
started  with a Dagstuhl seminar in 2001 and has been co-organised
with  the  RelMiCS  conference since. Due  to  their  considerable
overlap,  the  two  events have a joint PC and joint  proceedings.
Their scope comprises relation algebra, fixpoint calculi, semiring
theory, iteration algebras, process algebras and dynamic algebras.
Applications  include formal algebraic modelling,  the  semantics,
analysis  and development of programs, formal language theory  and
combinatorial optimisation.

We  invite submissions on the general topics of *Relation Algebra*
and  *Kleene Algebra* in computer science. Special focus will  lie
on formal methods for software engineering, logics of programs and
links with neighbouring disciplines.

Particular topics of the conference cover, but are not limited to
the theory of

- relation algebras and Kleene algebras
- related formalisms such as process algebras, fixed point
calculi,
     idempotent semirings, quantales, allegories, dynamic algebras,
     cylindric algebras

and their applications in areas such as

- verification, analysis and development of programs and
algorithms
- relational formal methods such as B or Z, tabular methods,
- algebraic approaches to logics of programs, modal and dynamic
logics,
     interval and temporal logics
- algebraic semantics of programming languages
- graph theory and combinatorial optimisation
- games, automata and language theory
- mechanised and automated reasoning, decision procedures
- spatio-temporal reasoning, knowledge acquisition, preference and
     scaling methods
- information systems.


Programme committee
-------------------

R. Backhouse     (Nottingham, UK)
R. Berghammer    (Kiel, Germany)
B. de Baets      (Gent, Belgium)
H. de Swart      (Tilburg, Netherlands)
J. Desharnais    (Laval, Canada)
M. Frias         (Buenos Aires, Argentina)
H. Furusawa      (Kagoshima, Japan)
P. Jipsen        (Chapman, USA)
W. Kahl          (McMaster, Canada)
Y. Kawahara      (Kyushu, Japan)
B. Möller        (Augsburg, Germany)
C. Morgan        (Sydney, Australia)
M. Ojeda Aciego  (Malaga, Spain
E. Orlowska      (Warsaw, Poland)
S. Saminger      (Linz, Austria)
G. Schmidt       (Munich, Germany)
R. Schmidt       (Manchester, UK)
G. Scollo        (Catania, Italy)
A. Szalas        (Linköping, Sweden)
G. Struth        (Sheffield, UK)
J. van Benthem   (Amsterdam, Netherlands)
M. Winter        (Brock, Canada)


Invited Speakers
----------------

Marc Pauly       (Stanford University)
Gunther Schmidt  (University German Armed Forces, Munich)


Important Dates
---------------

Call for Papers                Feb      1   2007
Submission (full papers)    Aug     31   2007
Notification                Dec     15   2007
Final versions due          Jan     15   2008
Conference                  April 6-11   2008


Proceedings and Submission
--------------------------

All papers will be formally reviewed. We plan to publish the
proceedings as
                   Lecture Notes in Computer Science,
ready  at  the  conference. The proceedings  editors  will  be  R.
Berghammer, B. Möller and G. Struth.

Submissions  must be in English, in postscript or pdf  format  and
provide sufficient information to judge their merits. They must be
unpublished and not submitted for publication elsewhere. They  may
not  exceed  15 pages in Springer LNCS style and must be  produced
with  LaTeX.  Additional material may be  provided  by  a  clearly
marked appendix or a reference to a manuscript on a  website. This
may  be  considered  at the discretion of the PC.  Deviation  from
these  requirements may cause immediate rejection. One  author  of
each accepted paper is expected to present the paper at the
conference.

Detailed  instructions for electronic submission can be  found  at
the conference website. Formatting instructions and the LNCS style
files can be obtained via
             http://www.springer.de/comp/lncs/authors.html.


Student Programme
-----------------

The  conference  will be accompanied by a PhD training  programme.
Details will be published in due time in a special call and on the
conference website.


Venue
-----

Frauenwoerth  is  a  charming and architecturally very  interesting
nunnery  on the isle of Frauenchiemsee in lake Chiemsee  in  South
Bavaria   (see   the   web  site  http://www.frauenwoerth.de/).The
distance from the lake to Munich is about 90 kilometres and  there
are  good train connections from Munich and Munich Airport to  the
village Prien at the lakes west shore. From Prien there are boats
to  the  isle  almost every half hour. Neighbouring Frauenchiemsee
there  is the isle of Herrenchiemsee with one of King Ludwig  II's
castles,  modelled after Versailles, but partly  unfinished.  From
Prien  it is about 50 kilometres to the Austrian city of Salzburg,
where the famous composer Wolfgang Amadeus Mozart was born in 1756
and lived until 1781.


Local organisation
------------------

B. Möller and R. Berghammer

Further details can be found under

                   http://www.uni-augsburg.de/rel_aka




-------------- next part --------------
A non-text attachment was scrubbed...
Name: CFP-RELAKA08.pdf
Type: application/pdf
Size: 56296 bytes
Desc: not available
Url : http://openmath.org/pipermail/om-announce/attachments/20070326/1503d201/attachment-0001.pdf