Información de la conferencia
CONCUR 2024: International Conference on Concurrency Theory
https://confest2024.github.io/CONCUR_call_for_papers.htmlDía de Entrega: |
2024-04-26 |
Fecha de Notificación: |
2024-06-21 |
Fecha de Conferencia: |
2024-09-09 |
Ubicación: |
Antwerp, Belgium |
Años: |
35 |
CCF: b CORE: a QUALIS: a2 Vistas: 22358 Seguidores: 24 Asistentes: 1
Solicitud de Artículos
Submissions are solicited in the theory and practice of concurrent systems. The principal topics include (but are not limited to): Basic models of concurrency such as abstract machines, domain-theoretic models, categorical and coalgebraic models, game-theoretic models, process algebras, graph transformation systems, Petri nets, hybrid systems, mobile and collaborative systems, probabilistic systems, real-time systems, quantum systems, biology-inspired systems, and synchronous systems; Logics for concurrency such as modal logics, program 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, tools, and empirical evaluations 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.
Última Actualización Por Dou Sun en 2024-04-24
Coeficiente de Aceptación
Año | Enviados | Aceptados | Aceptados(%) |
---|---|---|---|
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% |
Conferencias Relacionadas
Abreviación | Nombre Completo | Entrega | Conferencia |
---|---|---|---|
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 | 2024-01-26 | 2024-08-04 |
KR | International Conference on the Principles of Knowledge Representation and Reasoning | 2024-04-24 | 2024-11-02 |
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 | 2024-02-14 | 2024-07-08 |
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 |
Revistas Relacionadas
CCF | Nombre Completo | Factor de Impacto | Editor | 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 |
Nombre Completo | Factor de Impacto | Editor |
---|---|---|
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 |
Recomendaciones