[Apologies for multiple copies.] %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % % First Call for Papers % % % % RELATIONS AND KLEENE ALGEBRA IN COMPUTER SCIENCE % % % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Joint 9th International Conference on RELATIONAL METHODS IN COMPUTER SCIENCE and 4th International Workshop on APPLICATIONS OF KLEENE ALGEBRA (RelMiCS/AKA 2006) 29 August - 2 September 2006 Manchester, UK www.cs.man.ac.uk/relmics06/ GENERAL INFORMATION: The RelMiCS Conference is the main forum for the relational calculus as a conceptual and methodological tool. The AKA Workshop is a forum on topics related to Kleene algebras. As in previous years, the two events are co-organised; they have a joint programme committee and joint proceedings. RelMiCS/AKA 2006 will be held from 29 August to 2 September 2006 in Manchester. Visit the conference website www.cs.man.ac.uk/relmics06/ for more information. TOPICS: We invite submissions on the general topics of relations and Kleene algebra in computer science. Special focus will be 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 * algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics * relational formal methods such as B or Z, tabular methods * 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 IMPORTANT DATES: A paper title and a short abstract of about 100 words must be submitted before the paper. All submissions will be electronic. Abstract Submission: 27 February 2006 Paper Submission: 6 March 2006 Author Notification: 2 May 2006 Camera-ready papers: 2 June 2006 RelMiCS/AKA 2006: 29 August - 2 September 2006 SUBMISSION INSTRUCTIONS: 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. 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 will appear on the conference web site in December/January. PUBLICATION DETAILS: The proceedings of the conference will most probably be published in the Springer LNCS series. The proceedings will be available at the conference. STUDENT PROGRAMME: A PhD training programme will be co-organised with the conference. Details will be published in a special call and on the conference website. COMMITTEES: General Chair: Renate Schmidt, Manchester, UK, schmidt@cs.man.ac.uk Programme Chair: Georg Struth, Sheffield, UK, g.struth@dcs.shef.ac.uk Programme Committee: Roland Backhouse, Nottingham, UK Brandon Bennett, Leeds, UK Rudolf Berghammer, Kiel, Germany Stephane Demri, Cachan, France Jules Desharnais, Laval, Canada Zoltan Esik, Szeged, Hungary & Tarragona, Spain Marcello Frias, Buenos Aires, Argentina Hitoshi Furusawa, AIST, Japan Stephane Gaubert, INRIA, France Steven Givant, Mills College, USA Valentin Goranko, Witwatersrand, South Africa Martin Henson, Essex, UK Ali Jaoua, Quatar Peter Jipsen, Chapman University, USA Wolfram Kahl, McMaster, Canada Yasuo Kawahara, Kyushu, Japan Zhiming Liu, UNU-IIST Macao, China Bernhard Moeller, Augsburg, Germany Damian Niwinski, Warsaw, Poland Ewa Orlowska, Warsaw, Poland Alban Ponse, Amsterdam, The Netherlands Ingrid Rewitzky, Stellenbosch, South Africa Ildiko Sain, Hungarian Academy of Sciences Holger Schlingloff, Berlin, Germany Gunther Schmidt, Muenchen, Germany Renate Schmidt, Manchester, UK Giuseppe Scollo, Verona, Italy Harrie de Swart, Tilburg, The Netherlands Michael Winter, St.Catharines, Canada Local Organisation: Renate Schmidt, Manchester, UK, schmidt@cs.man.ac.uk Zhen Li, Manchester, UK David Robinson, Manchester, UK Iain Hart & ACSO, Manchester, UK