CONCUR 2005

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 sense). 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, security protocols).
Related verification techniques and tools (such as state-space exploration, model-checking, synthesis, abstraction, automated deduction, testing).
Related programming models (such as distributed, constraints or object-oriented, graph rewriting, as well as associated type systems, static analyses, abstract machines, and environments).

Affiliated Workshops

Eleven workshops will be affiliated with CONCUR 2005: BioCONCUR, DisCoVeri, EXPRESS, FIT, FOCLASA, GETCO, GT-VC, INFINITY, MoChArt, SecCo, and SPIN. For more information, see the workshop information and the event schedule.

Invited Speakers

Rajeev Alur		University of Pennsylvania (joint CONCUR/SPIN speaker)
Dawson Engler		Stanford University (joint CONCUR/SPIN speaker)
Christos Papadimitriou		UC Berkeley
Luca Cardelli		Microsoft Research, Cambridge

Organization

General Chair: Luca de Alfaro (

), UC Santa Cruz

CONCUR Program Committee Chairs:

Martin Abadi and Luca de Alfaro, UC Santa Cruz.
Email: concur05chairs@soe.ucsc.edu

Local Organization:Luca de Alfaro (chair), Bo Adler, Leandro Dias Da Silva, Marco Faella, Jessica Gronski, Teresa La Femina, Axel Legay.

Affiliated Workshops

Invited Speakers

Organization

Sponsors