Logic List Mailing Archive

Relations and Kleene Algebra in CS (RelMiCS/AKA 2006), August/September 2006, Manchester

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%                  Second 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 30 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

INVITED SPEAKERS:
   * Ernie Cohen, Microsoft, USA
   * Roger D. Maddux, Iowa State University, USA
   * Jeff Sanders, Oxford University, UK

IMPORTANT DATES:
   A paper title and a short abstract of about 100 words must be
   submitted before the paper. All submissions will be electronic
   from the conference website.

   Abstract Submission:  27 February 2006
   Paper Submission:  6 March 2006
   Author Notification:  2 May 2006
   Camera-ready papers:  2 June 2006
   PhD Programme:  29 August 2006
   RelMiCS/AKA 2006:  30 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 and must be
   produced with LaTeX. 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 can be found at
   the conference website. Formatting instructions and the LNCS
   style files can be obtained via
   http://www.springer.de/comp/lncs/authors.html.

PUBLICATION DETAILS:
   The proceedings of the conference will be published in the
   Springer LNCS series.  They 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, Catania, 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