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

Concur 2004 Preliminary Announcement



[Lots of interesting types papers have appeared in CONCUR in past
years! -BCP]


CONCUR 2004:  The Fifteenth Annual Conference on Concurrency Theory

This is a preliminary announcement.  The Call for Papers will follow.

Conference venue: Royal Society, London

Dates: 31 August - 3 September 2004

The proceedings will be published by Springer Verlag in the Lecture Notes
in Computer Science series.

-----------------------------------------------------------------
             SCOPE OF THE CONFERENCE
-----------------------------------------------------------------

The purpose of the CONCUR conferences is to bring together
researchers, developers and students in order to advance the theory of
concurrency, and promote its applications. Typical topics of the
CONCUR conferences are all areas of semantics, logics and verification
techniques for concurrent systems.

-----------------------------------------------------------------
                  IMPORTANT DATES
-----------------------------------------------------------------


Important dates:

    * Submission: Friday 9 April 2004
    * Notification: Monday 31 May 2004
    * Final version: Tuesday 15 June 2004
    * Workshops: Monday 30 August and Saturday 4 September 2004
    * Main conference: Tuesday 31 August - Friday 3 September 2004


-----------------------------------------------------------------
                   ORGANISERS
-----------------------------------------------------------------


    * General chair: Philippa Gardner
    * Programme Committee co-chairs: Philippa Gardner, Nobuko Yoshida
    * Workshops organisers: Vladimiro Sassone, Julian Rathke
    * Local organiser: Iain Phillips

-----------------------------------------------------------------
                   CONTACT DETAILS
-----------------------------------------------------------------


Concur 2004 webpage:  http://www.doc.ic.ac.uk/concur2004

Email: concur2004@doc.ic.ac.uk