CONCUR 2013, the 24th International Conference on Concurrency Theory, will be held in Buenos Aires, Argentina at the University of Buenos Aires, August 27 - 30, 2013.
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.
Call for paper
Submission 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,
Submit Comment