2nd CFP: Workshop on Categorical Methods for Concurrency, Interaction, and Mobility

2nd CFP: Workshop on Categorical Methods for Concurrency, Interaction, and Mobility

[Thomas Hildebrandt]

2nd Call for Papers: [ Apologies for multiple copies ]

                Workshop on

           CATEGORICAL METHODS
                   FOR
 CONCURRENCY, INTERACTION, AND MOBILITY

  Marseille, France, 6 September, 2003

affiliated with CONCUR 2003 and held together with GETCO 2003

(See also: http://www.mcs.le.ac.uk/events/cmcim03)

Aims and Scope:

The aim of the workshop is to bring together researchers applying
category theory to concurrency, interaction, or mobility. Topics of
interest include, but are not limited to:

  categorical algebras of processes
  categorical methods in game semantics and geometry of interaction
  categorical models of term/graph rewriting or rewriting logic
  Chu spaces
  coalgebras, bialgebras, coinduction
  comparing models of concurrency
  enriched categories of processes
  interaction categories
  presheaf models


GETCO'03:

Due to the close relation between geometric and topological methods on
the one hand and categorical methods on the other hand, CMCIM'03 will
be held jointly with the workshop on Geometric and Toplogical Methods
in Concurrency Theory (GETCO'03). Both workshops will be on the same
day with their talks not overlapping.


Invited Lecture:

 Glynn Winskel


Programme Committee:

  Marcelo Fiore (Cambridge)
  Eric Goubault (Paris)
  Thomas Hildebrandt (Copenhagen)
  Alexander Kurz (Leicester)
  Ugo Montanari (Pisa)
  John Power (Edinburgh)
  Jan Rutten (Amsterdam)
  Peter Selinger (Ottawa)
  Glynn Winskel (Cambridge)


Important dates:

  Deadline for submission:      June 1
  Notification of acceptance:   July 7
  Final version due:            July 27
  Workshop dates:               September 6


Location:

The workshop will be held in Marseille. It is a satellite
workshop of CONCUR 2003. For venue and registration see the CONCUR
web page at http://concur03.univ-mrs.fr


Submissions:

It is planned to publish the proceedings of the meeting as a volume in
Elsevier's ENTCS series. Papers must contain original
contributions. Papers should be submitted as PostScript files by email
to cmcim03@mcs.le.ac.uk , containing `CMCIM-submission' in the subject. A
separate message should also be sent (subject: CMCIM-abstract),
containing authors, title, and a text-only abstract.


Workshop organizers:

  Thomas T. Hildebrandt
  Theory Department, IT University of Copenhagen
  Glentevej 67, 2400 Copenhagen NV, Denmark

  Alexander Kurz
  Department of Mathematics and Computer Science, University of
    Leicester, University Road, Leicester, LE1 7RH.

  Email: cmcim03@mcs.le.ac.uk


Further information at http://www.mcs.le.ac.uk/events/cmcim03