26th International Conference on Concurrency Theory

Страна: Испания

Город: Madrid

Тезисы до: 13.04.2015

Даты: 01.09.15 — 04.09.15

Область наук: Экономические;

Е-мейл Оргкомитета: concur2015@ucm.es

Организаторы: Universidad Complutense de Madrid

 

The 26th Conference on Concurrency Theory will take place in Madrid, from 1st to 4th September, 2015. It will be co-located with the 12th QEST, the 13th FORMATS, the 10th TGC, the WS-FM/BEAT, and a collection of Workshops, thus producing our "Madrid meet 2015" meeting.

The purpose of the CONCUR conferences is to bring together researchers, developers and students in order to contribute to the development and dissemination of the theory of concurrency and its applications. Twenty five years after our first meeting in 1990, it is still the reference annual event for researchers in this field.

The host this year will be the "Universidad Complutense de Madrid", close to the historical and (new) business center of Madrid, the capital of Spain.

Topics

Submissions are solicited in semantics, logics, verification and analysis of concurrent systems.

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.
 

Веб-сайт конференции: http://mafalda.fdi.ucm.es/concur2015/

Конференции по теме - с близкими дедлайнами: