CONCUR: International Conference on Concurrency Theory

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2023 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
CONCUR 2022 International Conference on Concurrency Theory
Sep 12, 2022 - Sep 17, 2022 Warsaw, Poland Apr 25, 2022 (Apr 18, 2022)
CONCUR 2020 31st International Conference on Concurrency Theory
Sep 1, 2020 - Sep 4, 2020 Vienna, Austria Apr 22, 2020 (Apr 15, 2020)
CONCUR 2019 30th International Conference on Concurrency Theory
Aug 26, 2019 - Aug 31, 2019 Amsterdam, The Netherlands Apr 22, 2019 (Apr 15, 2019)
CONCUR 2018 29th International Conference on Concurrency Theory
Sep 4, 2018 - Sep 7, 2018 Beijing, China Apr 23, 2018 (Apr 17, 2018)
CONCUR 2016 The 27th International Conference on Concurrency Theory
Aug 23, 2016 - Aug 26, 2016 Qu├ębec City, Canada Apr 18, 2016 (Apr 11, 2016)
CONCUR 2015 26th International Conference on Concurrency Theory
Sep 1, 2015 - Sep 4, 2015 Madrid, Spain Apr 20, 2015 (Apr 13, 2015)
CONCUR 2014 The 25th International Conference on Concurrency Theory
Sep 1, 2014 - Sep 6, 2014 Rome, Italy Apr 19, 2014 (Apr 14, 2014)
CONCUR 2013 International Conference on Concurrency Theory
Aug 27, 2013 - Aug 30, 2013 University of Buenos Aires, Argentina Apr 8, 2013 (Apr 1, 2013)
CONCUR 2012 23rd International Conference on Concurrency Theory
Sep 3, 2012 - Sep 8, 2012 Newcastle upon Tyne, UK Apr 11, 2012 (Apr 4, 2012)
CONCUR 2011 22nd International Conference on Concurrency Theory
Sep 6, 2011 - Sep 9, 2011 Aachen, Germany Apr 8, 2011 (Apr 1, 2011)
CONCUR 2010 21st International Conference on Concurrency Theory
Aug 31, 2010 - Sep 3, 2010 Paris, France Apr 15, 2010 (Apr 8, 2010)
CONCUR 2009 20th International Conference on Concurrency Theory
Sep 1, 2009 - Sep 4, 2009 Bologna, Italy Apr 15, 2009 (Apr 8, 2009)
CONCUR 2008 Conference on Concurrency Theory
Aug 19, 2008 - Aug 22, 2008 Toronto, Canada Apr 11, 2008 (Apr 4, 2008)
 
 

Present CFP : 2022

CONCUR 2022, the 33rd International Conference on Concurrency Theory, is organised on September 13-16, 2022 by the University of Warsaw, Poland. The purpose of the conference is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. In 2022, CONCUR is co-located (under the joint name CONFEST) with:

19th International Conference on Quantitative Evaluation of SysTems (QEST 2022)
20th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2022)
27th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2022)


IMPORTANT NOTE CONCERNING THE COVID-19 PANDEMIC

CONCUR 2022 is planned as a physical, in-person event, with certain support for remote presence, both for speakers and for other participants who are unable or unwilling to come.

Depending on the pandemic situation, we may have to make a decision whether to cancel the physical component of the event or not. This should be definitely decided by the end of June 2022.


TOPICS

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.


PAPER SUBMISSION

CONCUR 2022 solicits high quality papers reporting research results and/or experience related to the topics mentioned below. All papers must be original, unpublished, and not submitted for publication elsewhere. Each paper will undergo a thorough review process. The paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee.

The CONCUR 2022 proceedings will be published by LIPIcs. Papers must not exceed 14 pages (excluding references and clearly marked appendices) using the LIPIcs style.

Papers must be submitted electronically as PDF files via EasyChair: https://easychair.org/conferences?conf=concur2022


AWARDS

In 2022, CONCUR Test-of-Time and best paper awards will be given for the third time. The winners will be announced at the conference.


SPECIAL ISSUE

A special issue dedicated to selected papers from CONCUR 2022 will appear in Fundamenta Informaticae.
 

Related Resources

NIAI 2023   4th International Conference on Natural Language Processing, Information Retrieval and AI
YR-CONCUR 2022   10th Young Researchers Workshop on Concurrency Theory
Petri Nets 2023   44th International Conference on Application and Theory of Petri Nets and Concurrency
ICLA 2022   10th Indian Conference on Logic and its Applications
UCNC 2023   20th International Conference on Unconventional Computation and Natural Computation
RAMFP 2022   TAA (OA) - SI: Recent Advances on Metric Fixed Point Theory 2022
IJGTT 2022   International Journal of Game Theory and Technology
ICoCTA 2023   2023 4th International Conference on Control Theory and Applications (ICoCTA 2023)
MATC 2023   Call for Proposals: Impossible Theatre (43rd Annual Mid-America Theatre Conference)
ICE 2022   15th Interaction and Concurrency Experience