(mobo import Concept___Fix_Online_Events-migrated) |
Curator 90 (talk | contribs) |
||
(3 intermediate revisions by one other user not shown) | |||
Line 3: | Line 3: | ||
|Title=International Conference on Concurrency Theory | |Title=International Conference on Concurrency Theory | ||
|Ordinal=32 | |Ordinal=32 | ||
+ | |In Event Series=Event Series:CONCUR | ||
+ | |Single Day Event=no | ||
+ | |Start Date=2021/08/23 | ||
+ | |End Date=2021/08/27 | ||
+ | |Event Status=as scheduled | ||
+ | |Event Mode=online | ||
+ | |Official Website=https://qonfest2021.lacl.fr/concur21.php | ||
+ | |Submission Link=https://easychair.org/conferences?conf=concur2021 | ||
|Type=Conference | |Type=Conference | ||
|Superevent=QONFEST 2021 | |Superevent=QONFEST 2021 | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
|has program chair=Serge Haddad, Daniele Varacca | |has program chair=Serge Haddad, Daniele Varacca | ||
− | |||
|pageCreator=User:Curator 53 | |pageCreator=User:Curator 53 | ||
|pageEditor=User:Curator 53 | |pageEditor=User:Curator 53 | ||
|contributionType=1 | |contributionType=1 | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
}} | }} | ||
+ | {{Event Deadline | ||
+ | |Notification Deadline=2021/06/23 | ||
+ | |Abstract Deadline=2021/04/23 | ||
+ | |Paper Deadline=2021/04/30 | ||
+ | |Camera-Ready Deadline=2021/07/09 | ||
+ | |Submission Deadline=2021/04/30 | ||
+ | }} | ||
+ | {{Event Metric}} | ||
+ | {{S Event}} | ||
Due the pandemic situation, the organization committee decided that the conference will take place online as last year's CONCUR: the talks will be pre-recorded and then streamed on Zoom. | Due the pandemic situation, the organization committee decided that the conference will take place online as last year's CONCUR: the talks will be pre-recorded and then streamed on Zoom. | ||
− | === Topics === | + | ===Topics=== |
Submissions are solicited in semantics, logics, verification and analysis of concurrent systems. The principal topics include (but are not limited to): | Submissions are solicited in semantics, logics, verification and analysis of concurrent systems. The principal topics include (but are not limited to): |
Latest revision as of 13:25, 29 December 2022
|
||
Abstract |
|
||
Paper |
|
||
Submission |
|
||
Notification |
|
||
Camera-Ready |
Due the pandemic situation, the organization committee decided that the conference will take place online as last year's CONCUR: the talks will be pre-recorded and then streamed on Zoom.
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.