[Prev][Next][Index][Thread]

Extended Deadline for CMCIM

This is to announce a deadline extension for CMCIM.

The new deadline is 

    2 June 2000.

It will be appreciated if you email your intention to submit to
kurz@cwi.nl

The other dates of the following CFP do not change:

-------------------------------------------------------------------------------


                  [ Apologies for multiple copies ] 


                             Workshop on

    CATEGORICAL METHODS FOR CONCURRENCY, INTERACTION, AND MOBILITY

                 Brno, Czech Republic, 24 August 2002

                      affiliated with CONCUR 2002



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



Programme Committee:

  Samson Abramsky (Oxford)
  Thomas Hildebrandt (Copenhagen)
  Alexander Kurz (Amsterdam)
  Ugo Montanari (Pisa)
  Prakash Panangaden (Montreal)
  Horst Reichel (Dresden)
  Jiri Rosicky (Brno)
  Bob Walters (Como)


Important dates:

  Deadline for submission:      May 24, 2002 (Extended June 2)
  Notification of acceptance:   July 5, 2002
  Final version due:            July 25, 2002 
  Workshop:                     August 24, 2002                         



Location:

The workshop will be held in Brno in August 2002. It is a satellite
workshop of CONCUR 2002. For venue and registration see the CONCUR
web page at http://www.fi.muni.cz/concur2002/



Submissions:

It is planned to publish the proceedings of the meeting as a volume in
Elsevier's ENTCS series. Papers must contain original contributions,
be clearly written, and include appropriate reference to and
comparison with related work. Papers should be submitted as PostScript
files by email to kurz@cwi.nl, containing `CMCIM-submission' in the
subject. A separate message should also be sent (subject:
CMCIM-abstract), containing authors, title, a text-only abstract, as
well as mailing addresses (both postal and electronic) of the
corresponding author.



Workshop organizer:

  Alexander Kurz
  CWI, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands 
  email: kurz@cwi.nl



Further information at http://www.cwi.nl/cmcim or from kurz@cwi.nl



-- 
http://www.cwi.nl/~kurz