7-11 April 2008
10th International Conference on Relational Methods in Computer Science (RelMiCS10) 5th International Conference on Applications of Kleene Algebra (AKA5) Frauenwrth (near Munich), Germany Monday, April 7 - Friday, April 11, 2008 http://www.uni-augsburg.de/rel_aka 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. Invited Speakers Marc Pauly (Stanford U., USA) Gunther Schmidt (U. German Armed Forces Munich, Germany) 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 Conference April 7-11, 2008 Programme committee Roland Backhouse (U. Nottingham, UK) Rudolf Berghammer (U. Kiel, Germany) Bernard De Baets (U. Ghent, Belgium) 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 Mller (U. Augsburg, Germany) Carroll Morgan (U. New South Wales, Australia) Manuel Ojeda Aciego (U. Mlaga, 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 (Linkping, Sweden) Johan van Benthem (U. Amsterdam, The Netherlands) Michael Winter (Brock U., Canada) 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 this website. Venue Frauenwrth 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~Rs 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. Contact B. Mller E-Mail: bernhard.moeller@informatik.uni-augsburg.de Phone: +49 821 598 - 2164 Fax: +49 821 598 - 2274 Snail Mail: Universittsstrasse 14 D-86159 Augsburg Germany