Información de la conferencia

CONCUR 2026: International Conference on Concurrency Theory

Por favor Iniciar sesión para ver el sitio web de la conferencia
Cuenta gratuita: consulta los sitios oficiales, sigue las fechas límite y recibe recordatorios por correo.
Iniciar sesión Registrarse
Insertar insignia de cuenta atrás
CONCUR
Día de Entrega:
2026-04-20
Fecha de Notificación:
2026-06-15
Fecha de conferencia:
2026-09-01
Ubicación:
Liverpool, UK
Ediciones:
37
CCF: B   ICORE: B   QUALIS: A2   Vistas: 39729   Seguidores: 24   Asistentes: 1

Solicitud de Artículos

CONCUR 2026 (International Conference on Concurrency Theory) is a CCF B / ICORE B / QUALIS A2 conference held in Liverpool, UK on 2026-09-01. The paper submission deadline is 2026-04-20. Acceptance notifications are sent on 2026-06-15.

Topics 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, parametric 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, multi-agent 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/parallel algorithms and concurrent data structures: design, analysis, complexity, correctness, fault tolerance, reliability, availability, consistency, self-organization, self-stabilization, commitment schemes, communication protocols; Theoretical foundations, tools, and empirical evaluations of architectures, execution environments, and software development for concurrent systems such as geo-replicated systems, distributed ledgers, communication networks, multiprocessor and multi-core architectures, quantum computing, quantum communication, 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 el

Tasa de aceptación

Tasa de aceptación media: 35.5% en 11 años (1996–2006).

AñoEnviadosAceptadosAceptados(%)
20061012928.7%
20051003838%
20041342921.6%
20031072927.1%
20021013231.7%
2001783241%
2000723447.2%
1999913235.2%
19981043533.7%
1997412458.5%
19961333727.8%

Conferencias Relacionadas

CCFICOREAbreviaciónNombre CompletoEntregaNotificaciónFecha de conferencia
BA*ICRAInternational Conference on Robotics and Automation2027-05-24
BA*IJCAIInternational Joint Conference on Artificial Intelligence2026-01-312026-08-15
BICASSPInternational Conference on Acoustics, Speech and Signal Processing2026-09-162027-01-132027-05-16
BA*PODSACM SIGMOD Conference on Principles of DB Systems2026-12-032027-03-012027-06-13
BAICMEInternational Conference on Multimedia and Expo2025-12-312026-03-132026-07-05
BBIBMInternational Conference on Bioinformatics & Biomedicine2026-07-052026-09-252026-12-01
BA*ICDMInternational Conference on Data Mining2026-06-062026-08-162026-11-12
BA*ECCVEuropean Conference on Computer Vision2026-03-062026-05-092026-09-08
BADATEDesign, Automation and Test in Europe2026-09-072026-11-102027-03-22
BA*KRInternational Conference on the Principles of Knowledge Representation and Reasoning2026-02-082026-04-132026-07-20

Revistas Relacionadas

CCFNombre CompletoFactor de ImpactoEditorISSN
Concurrency Computation Practice and Experience1.5Wiley1532-0626
CConcurrency and Computation: Practice and Experience2.2Wiley1532-0634
BSoftware & Systems Modeling3.2Springer1619-1366
BPattern Recognition7.6Elsevier0031-3203
BIEEE Transactions on Neural Networks and Learning Systems8.9IEEE1045-9227
BInformation Sciences6.0Elsevier0020-0255
BComputer Networks4.6Elsevier1389-1286
BComputers & Security5.4Elsevier0167-4048
BIEEE Transactions on Intelligent Transportation Systems8.4IEEE1524-9050
BJournal of Systems and Software4.1Elsevier0164-1212

Comentarios 0

Aún no hay comentarios.

Por favor Iniciar sesión para publicar un comentario