Call for papers

• pdf version
• text version

Topics

Submissions are solicited in all areas of semantics, logics, verification and analysis of concurrent systems. The principal topics include (but are not limited to):

• Basic models of concurrency such as abstract machines, domain theoretic  models, game theoretic models, process algebras, and Petri nets;
• Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics;
• Models of specialized systems such as biology-inspired systems, circuits, hybrid systems, mobile and collaborative systems, multi-core processors, probabilistic systems, real-time systems, service-oriented computing, and synchronous systems;
• Verification and analysis techniques for concurrent systems such as abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, synthesis, testing, theorem proving, and type systems;
• Related programming models such as distributed, component-based, object-oriented, and web services.

Paper submission

CONCUR 2010 solicits high quality papers reporting research results and/or experience reports related to the topics mentioned above. All papers must be original, unpublished, and not submitted for publication elsewhere.  Contributions should be submitted electronically as PDF files, using the Springer LNCS style. Papers should not exceed 15 pages in length. Each paper will undergo a thorough review process. If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee.

Papers should be submitted via the CONCUR 2010 submission page on the EasyChair system.

Proceedings

The conference proceedings will be published by Springer in the ARCoSS subline of LNCS series. Proceedings will be made available at the conference.

Important Dates