Conference Information
CONCUR 2023: International Conference on Concurrency Theory
https://www.uantwerpen.be/en/conferences/confest-2023/concur/Submission Date: |
2023-04-24 |
Notification Date: |
2023-06-28 |
Conference Date: |
2023-09-17 |
Location: |
Antwerp, Belgium |
Years: |
34 |
CCF: b CORE: a QUALIS: a2 Viewed: 21578 Tracked: 23 Attend: 1
Call For Papers
Submissions are solicited in 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, graph transformation systems, Petri nets, hybrid systems, mobile and collaborative systems, probabilistic systems, real-time systems, biology-inspired systems, and synchronous systems; Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics, and resource logics; 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, type systems, and security analysis; Distributed algorithms and data structures: design, analysis, complexity, correctness, fault tolerance, reliability, availability, consistency, self-organization, self-stabilization, protocols; Theoretical foundations of architectures, execution environments, and software development for concurrent systems such as geo-replicated systems, communication networks, multiprocessor and multi-core architectures, shared and transactional memory, resource management and awareness, compilers and tools for concurrent programming, programming models such as component-based, object- and service-oriented.
Last updated by Dou Sun in 2023-03-13
Acceptance Ratio
Year | Submitted | Accepted | Accepted(%) |
---|---|---|---|
2006 | 101 | 29 | 28.7% |
2005 | 100 | 38 | 38% |
2004 | 134 | 29 | 21.6% |
2003 | 107 | 29 | 27.1% |
2002 | 101 | 32 | 31.7% |
2001 | 78 | 32 | 41% |
2000 | 72 | 34 | 47.2% |
1999 | 91 | 32 | 35.2% |
1998 | 104 | 35 | 33.7% |
1997 | 41 | 24 | 58.5% |
1996 | 133 | 37 | 27.8% |
Related Conferences
Short | Full Name | Submission | Conference |
---|---|---|---|
ICUASA | International Conference on Umanned Aerial Systems and Aerospace | 2023-06-28 | 2023-03-26 |
MMT | International Symposium on Mobile Mapping Technology | 2012-12-23 | 2013-05-01 |
SIGCOMM | Annual Conference of the ACM Special Interest Group on Data Communication | 2023-02-08 | 2023-09-10 |
KR | International Conference on the Principles of Knowledge Representation and Reasoning | 2022-02-02 | 2022-07-31 |
MIBIO | International Conference of Multidisciplinary & Interdisciplinary Bioscience | 2022-02-05 | 2022-03-12 |
ICCSE'' | International Conference on Crowd Science and Engineering | 2019-06-21 | 2019-10-18 |
ICALP | International Colloquium on Automata, Languages and Programming | 2022-02-10 | 2022-07-04 |
ROSENET | International Conference on Robotic Sensor Networks | 2020-07-30 | 2020-11-21 |
SSP | IEEE Statistical Signal Processing Workshop | 2012-08-05 | |
ICVARS | International Conference on Virtual and Augmented Reality Simulations | 2022-01-10 | 2022-03-25 |
Related Journals
CCF | Full Name | Impact Factor | Publisher | ISSN |
---|---|---|---|---|
a | IEEE Transactions on Information Theory | 2.728 | IEEE | 0018-9448 |
Journal of Cyber Security and Mobility | River Publishers | 2245-1439 | ||
Journal of Control Theory and Applications | Springer | 1672-6340 | ||
IET Control Theory & Applications | 2.048 | IET | 1751-8644 | |
b | Journal of Computer Science and Technology | 0.475 | SCIENCE PRESS | 1000-9000 |
c | Networks | 0.943 | Wiley Periodicals, Inc. | 1097-0037 |
IEEE Transactions on Network Science and Engineering | 5.213 | IEEE | 2334-329X | |
Mechanism and Machine Theory | 3.866 | Elsevier | 0094-114X | |
Random Structures & Algorithms | 1.008 | Wiley-Blackwell | 1042-9832 | |
International Journal of Distributed Systems and Technologies | IGI Global Publishing | 1947-3532 |
Full Name | Impact Factor | Publisher |
---|---|---|
IEEE Transactions on Information Theory | 2.728 | IEEE |
Journal of Cyber Security and Mobility | River Publishers | |
Journal of Control Theory and Applications | Springer | |
IET Control Theory & Applications | 2.048 | IET |
Journal of Computer Science and Technology | 0.475 | SCIENCE PRESS |
Networks | 0.943 | Wiley Periodicals, Inc. |
IEEE Transactions on Network Science and Engineering | 5.213 | IEEE |
Mechanism and Machine Theory | 3.866 | Elsevier |
Random Structures & Algorithms | 1.008 | Wiley-Blackwell |
International Journal of Distributed Systems and Technologies | IGI Global Publishing |
Recommendation