[Apologies for multiple copies.] %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % % Call for Participation % % % % 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/ The RelMiCS Conference is the main forum for the relational calculus as a conceptual and methodological tool. The AKA Workshop is a meeting 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. IMPORTANT DEADLINES: Grant Application: 19 June 2006 Early Registration: 3 July 2006 Registration: 7 August 2006 PROGRAMME: The conference features 3 invited talks and 24 contributed papers. The full programme is available at the conference website. Invited Talks: Ernie Cohen (Microsoft) To Be Announced Roger Maddux (Iowa State University) Finite Symmetric Integral Relation algebras with no 3-Cycles Jeff Sanders (Oxford) Computations and Relational Bundles REGISTRATION: Registration and conference information, including travel and accommodation, is now available at the conference website. The registration website can be found directly at www.cs.manchester.ac.uk/ACSO/RelMiCS/registration1.php The early registration deadline is July 3. Registration ends August 7. After that, registration will be on-site at the conference location. GRANTS: There is a small number of grants for students and participants from economically less well off countries. Application deadline is June 19. Please refer to the conference website for details. CO-LOCATED EVENTS: A PhD-training programme on Relational Methods and Kleene Algebra in Computer Science will take place on August 28. It includes tutorials by John Derrick (Sheffield) and Peter Jipsen (Chapman University). Participation is open for everyone. More details can be found at the conference website. ENQUIRIES: For further enquiries please contact the local organisers. SPONSORS: Engineering and Physical Science Research Council London Mathematical Society British Logic Colloquium The University of Manchester COMMITTEES: General Chair: Renate Schmidt, Manchester, UK, schmidt@cs.man.ac.uk Local Organisation: Renate Schmidt, Manchester, UK, schmidt@cs.man.ac.uk Zhen Li, Manchester, UK David Robinson, Manchester, UK Iain Hart & ACSO, Manchester, 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, Catania, Italy Georg Struth, Sheffield, UK (PC Chair) Harrie de Swart, Tilburg, The Netherlands Michael Winter, St.Catharines, Canada