In 2005, CONCUR will be held in San Francisco, from August 23 to 26.
The purpose of the CONCUR series of conferences is to bring together
researchers, developers, and students in order to advance the theory
of concurrency, and promote its applications (in a broad
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).
- Specialised or enriched models (such as circuits, synchronous
systems, real-time and hybrid systems, stochastic systems,
databases, mobile and migrating systems, parametric protocols,
- Related verification techniques and tools (such as state-space
exploration, model-checking, synthesis, abstraction, automated
- Related programming models (such as distributed, constraints or
object-oriented, graph rewriting, as well as associated type systems,
static analyses, abstract machines, and environments).
Eleven workshops will be affiliated with CONCUR 2005:
For more information, see the workshop
and the event schedule
CONCUR Program Committee Chairs:
Local Organization:Luca de Alfaro (chair), Bo
Dias Da Silva, Marco Faella, Jessica Gronski, Teresa La Femina,
We gratefully acknowledge the support from our sponsors: