Our Sponsors
CONCUR 2010 - 21st International Conference on Concurrency Theory CONCUR 2010
Website concur2010.inria.fr/ |
Edit Freely
Category CONCUR 2010
Deadline: April 15, 2010 | Date: September 06, 2010
Venue/Country: Paris, France
Updated: 2010-06-04 19:32:22 (GMT+9)
Call For Papers - CFP
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
Abstract Submission April 8, 2010
Paper Submission April 15, 2010
Notification May 25, 2010
Final Version June 10, 2010
Keywords: Accepted papers list. Acceptance Rate. EI Compendex. Engineering Index. ISTP index. ISI index. Impact Factor.
Disclaimer: ourGlocal is an open academical resource system, which anyone can edit or update. Usually, journal information updated by us, journal managers or others. So the information is old or wrong now. Specially, impact factor is changing every year. Even it was correct when updated, it may have been changed now. So please go to Thomson Reuters to confirm latest value about Journal impact factor.