CONCUR 2016 - 27th International Conference on Concurrency Theory (CONCUR 2016)

The main topics are (but are not strictly limited to):
Basic models of concurrency: abstract machines, domain theoretic models, game theoretic models, categorical models, process algebras, graph transformation systems, coalgebraic models, and Petri nets;
Logics for concurrency: modal logics, probabilistic and stochastic logics, temporal logics, and resource logics;
Models of specialized systems: biology-inspired systems, circuits, hybrid systems, mobile and collaborative systems, multi-core processors, probabilistic systems, real-time systems, service oriented computing, synchronous systems, and cloud computing;
Verification and analysis techniques for concurrent systems: abstract interpretation, atomicity checking, model checking, race detection, pre-order and equivalence checking, run-time verification, state-space exploration, static analysis, testing, theorem proving, and type systems;
Related programming models: distributed, component based, object-oriented, and web services;
Security issues in concurrent systems.