The purpose of the CONCUR conferences is to bring together
researchers, developers, and students in order to advance the theory of
concurrency, and promote its applications (in a broad sense). Interest
in this topic is continuously growing, as a consequence of the importance
and ubiquity of concurrent systems and their applications, and of the scientific
relevance of their foundations.
Topics include (but are not limited to):
-
Basic models and logics of concurrent and distributed computation
(such as process algebras, Petri nets, domain-theoretic or game-theoretic
models, modal and temporal logics).
-
Specialised or enriched models (such as circuits, synchronous
systems, real-time and hybrid systems, stochastic systems, databases,
mobile and migrating systems, parametric protocols, security protocols).
-
Related verification techniques and tools (such as state-space
exploration, model-checking, synthesis, abstraction, automated deduction,
testing).
-
Related programming models (such as distributed, constraints
or object-oriented, graph rewriting, as well as associated type systems,
static analyses, abstract machines, and environments).
|