the 15th International Conference on Concurrency Theory, takes place at
the Royal Society, London, from Tuesday 31 August - Friday 3 September 2004.
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.
Interest in this topic is continuously growing, as a consequence of the
importance and ubiquity of concurrent systems and their applications,
and of the scientific relevance of their foundations.
are solicited in all areas of semantics, logics and verification
techniques for concurrent systems.
Principal topics include (but are not limited to):
Basic models and logics of concurrent and distributed computation
(such as process algebras, Petri nets, domain theoretic or
game theoretic models, modal and temporal logics).
Specialized or enriched models
(such as circuits, synchronous systems, real time and hybrid systems,
stochastic systems, data
bases, mobile and migrating systems, parametric protocols,
Related verification techniques and tools
(such as state-space exploration, model-checking, synthesis,
Related programming models
(such as distributed, constraints or object oriented,
graph rewriting, as well as associated type
systems, static analyses, abstract machines, and environments).
are invited to submit an extended abstract not exceeding
15 pages electronically via the web submission form at the
conference's web site
Submissions will be evaluated by the program committee for inclusion
in the proceedings, which will be published by Springer-Verlag in the
Lecture Notes in Computer Science series.
Papers must contain original contributions, be clearly written,
and include appropriate reference to and comparison with related work.
Simultaneous submissions to other conferences are not allowed.
There will be a special issue of the journal
Theoretical Computer Science
associated with Concur 2004.
Submission: *****extended deadlines*****
Title, abstract, some sort of .ps or .pdf file by Friday 9th April GMT
**Final** .ps or .pdf file by Wednesday 14th April GMT 23.59.
- Notification: Monday 31 May 2004
- Final version: Tuesday 15 June 2004
- Concur 2004: Tuesday 31 August - Friday 3 September 2004
- Workshops: Monday 30 August and Saturday 4 September 2004
- Philippa Gardner, chair, UK
- Nobuko Yoshida, chair, UK
- Luca Aceto, Denmark
- Bruno Blanchet, Germany/France
- Steve Brookes, USA
- Luca De Alfaro, USA
- Paul Gastin, France
- Petr Jancar, Czech Republic
- Joost-Pieter Katoen, Netherlands
- Dietrich Kuske, Germany
- Cosimo Laneve, Italy
- Michael Mendler, Germany
- Ugo Montanari, Italy
- Catuscia Palamidessi, France
- Vladimiro Sassone, UK
- PS Thiagarajan, Singapore
- Antti Valmari, Finland
- Wang Yi, Sweden
More information available at the conference's web site: