[DL] CfP: Relations and Kleene Algebra in Computer Science 2006

[Renate Schmidt]

[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 at cs.man.ac.uk

  Programme Chair:
    Georg Struth, Sheffield, UK, g.struth at 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 at cs.man.ac.uk
    Zhen Liz, Manchester, UK
    David Robinson, Manchester, UK
    Iain Hart & ACSO, Manchester, UK