10th International Conference on Relational Methods in
Computer Science (RelMiCS10)
5th International Conference on Applications of
Kleene Algebra (AKA5)
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
- 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
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.
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.
| 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 |
| 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) |
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.
R. Berghammer
B. Möller
B. Möller
Last modified: 14-Feb-2007
