Call for papers
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.
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.
The conference proceedings will be published by Springer in the ARCoSS subline of LNCS series. Proceedings will be made available at the conference.
|Abstract Submission||April 8, 2010|
|Paper Submission||April 15, 2010|
|Notification||May 25, 2010|
|Final Version||June 10, 2010|