Workshop on categorical methods for concurrency....

Workshop on categorical methods for concurrency....

[A.Kurz]

3 Debian/1.0.0-0.woody.1
X-Accept-Language: en
MIME-Version: 1.0
To: categories@mta.ca
Subject: categories: CfP: CMCIM'03
Content-Type: text/plain; charset=3DISO-8859-1; format=3Dflowed
Content-Transfer-Encoding: 8bit
Sender: cat-dist@mta.ca
Precedence: bulk


                   [ 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


                            Call for Papers


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 Hildebrandt
   BRICS, DAIMI, Computer Science Deptartment, University of Aarhus,
     Ny Munkegade, B. 540, 8000 =C5rhus C, DK

   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