[Om-announce] RelMiCS/AKA 2006 Call for Participation

Renate Schmidt schmidt at cs.man.ac.uk
Tue May 23 13:31:18 CEST 2006

[Apologies for multiple copies.]

%                                                               %
%	             Call for Participation                     %
%                                                               %
%                                                               %

	      Joint 9th International Conference on 


		and 4th International Workshop on 

		       (RelMiCS/AKA 2006)

		  29 August - 2 September 2006
			 Manchester, UK


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.


  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


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.
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

  Engineering and Physical Science Research Council
  London Mathematical Society
  British Logic Colloquium
  The University of Manchester


  General Chair:
    Renate Schmidt, Manchester, UK, schmidt at cs.man.ac.uk

  Local Organisation: 
    Renate Schmidt, Manchester, UK, schmidt at 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


More information about the Om-announce mailing list