CONCUR 2005

16th International Conference on Concurrency Theory

San Francisco, CA, USA, August 23-26, 2005

Call for Papers

Submissions are solicited in all areas of semantics, logics, and verification techniques for concurrent systems. The 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 models or classes of systems (such as circuits, synchronous systems, real time and hybrid systems, stochastic systems, data bases, 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).

Authors are required to submit a paper title and a short abstract before submitting the extended abstract. The short abstract should not exceed 200 words, and it should be entered in ASCII at the conference web site. The extended abstract should not exceed 15 pages, and it should be formatted according to Springer-Verlag LNCS guidelines. If necessary, the extended abstract may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. Submission is on-line, at the URL http://www.softconf.com/start/CONCUR2005/submit.html.

Invited Speakers

Important Dates

Affiliated Workshops

Organizers

Program committee chairs:
    Martin Abadi (abadi@soe.ucsc.edu), UC Santa Cruz,
    Luca de Alfaro (), UC Santa Cruz.
Please use the email address concur05chairs@soe.ucsc.edu to communicate with the PC Chairs, so that both Chairs see the messages.

Local Organization:
    Luca de Alfaro (), UC Santa Cruz

Program Committee