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

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

Frauenwörth (near Munich), Germany
Monday, April 7 - Friday, April 11, 2008

Registration is open until March 15, 2008

General | Invited Speakers | Proceedings | Dates | Programme Committee | Student Programme | Venue | Sponsors | Local Organizers | Contact | Programme | Accepted papers | Registration and accommodation | Travel information |


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. The main 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

and their applications in areas such as

We are soliciting further contributions on the above topics but also in new areas of application. Papers on theoretical foundations of the calculus of relations and Kleene algebra or on their mechanization are highly welcome.

Invited Speakers

Marc Pauly (Stanford U., USA)
Gunther Schmidt    (U. German Armed Forces Munich, Germany)


All papers will be formally reviewed; the process will be organized by means of an appropriate internet tool. The proceedings will appear as Lecture Notes in Computer Science, Vol. 4988 ready at the conference. The proceedings editors are R. Berghammer, B. Möller and G. Struth.

As for the previous conference, a selection of papers will appear in a special issue of JLAP - The Journal of Logic and Algebraic programming; we will try to arrange the same for the current conference.

Important Dates

Call for Papers February 1, 2007
Submission (full papers) August 31, 2007
Notification of acceptance December 15, 2007
Camera ready final versions due    January 15, 2008
Registration open until: March 15, 2008
Conference April 7-11, 2008

Programme committee

Rudolf Berghammer    (U. Kiel, Germany)
Harrie de Swart (U. Tilburg, The Netherlands)
Jules Desharnais (U. Laval, Canada)
Marcelo Frias (U. Buenos Aires, Argentina)
Hitoshi Furusawa (U. Kagoshima, Japan)
Peter Jipsen (Chapman U. USA)
Wolfram Kahl (McMaster U., Canada)
Yasuo Kawahara (U. Kyushu, Japan)
Bernhard Möller (U. Augsburg, Germany)
Carroll Morgan (U. New South Wales, Australia)
Manuel Ojeda Aciego   (U. Málaga, Spain)
Ewa Orlowska (U. Warsaw, Poland)
Susanne Saminger (U. Linz, Austria)
Gunther Schmidt (UniBW Munich, Germany)
Renate Schmidt (U. Manchester, UK)
Giuseppe Scollo (U. Catania, Italy)
Georg Struth (U. Sheffield, UK)
Andrzej Szalas (Linköping, Sweden)
Johan van Benthem (U. Amsterdam, The Netherlands)
Michael Winter (Brock U., Canada)

Student Programme

The conference is accompanied by a PhD training programme on Monday 7 Apr and the morning of Tuesday Apr 8, 2008.

Also all regular participants are strongly encouraged to attend the PhD programme and to interact with the students there.


Frauenwörth is a charming and architecturally very interesting nunnery on the isle of Frauenchiemsee in lake Chiemsee in South Bavaria. 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 lake’s 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

R. Berghammer
B. Möller


B. Möller

E-Mail: rel_aka08@informatik.uni-augsburg.de
Phone: +49 821 598 - 2164
Fax: +49 821 598 - 2274
Snail Mail: Universitätsstrasse 14
D-86159 Augsburg


Last modified: 14-Feb-2007