Banner of Newcastle upon Tyne Famous Bridges

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 and Petri nets;

- Logics for concurrency such as modal logics, probabilistic and stochastic logics, temporal logics and resource logics;

- Models of specialized systems such as biology-inspired systems, circuits, hybrid systems, mobile and collaborative systems, multi-core processors, probabilistic systems, real-time systems, service-oriented computing and synchronous systems;

- 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 and type systems;

- Related programming models such as distributed, component-based, object-oriented, and web services.