Banner of Newcastle upon Tyne Famous Bridges

 

 

Welcome

The aim of the CONCUR 2012 (23rd International Conference on Concurrency Theory) conference is to bring together researchers, developers, and students in order to advance the theory of concurrency, and promote its applications. CONCUR 2012 is a part of The Newcastle Connection 2012 which is a week-long series of meetings for academic and industrial researchers working on topics relating to the formal modelling, analysis and engineering of complex computing systems, including those involving high degree of concurrency in their dynamic behaviour

Conference programme is now available.

The registration form can be found here.

CONCUR 2012 is co-located with:

  • 22nd International Workshop on Power and Timing Modeling, Optimization and Simulation, PATMOS 2012
  • 7th Symposium on Trustworthy Global Computing, TGC 2012

CONCUR 2012 is an official event of THE ALAN TURING YEAR

Photo of Turing

A Centenary Celebration of the Life and Work of Alan Turing

The call for papers can be downloaded here.



Important dates

Abstract Submission: 4th April 2012
Paper Submission: 11th April 2012
Notification of Acceptance: 28th May 2012
Final Version: 11th June 2012

Proceedings

CONCUR 2012 proceedings will appear in the ARCoSS/LNCS series published by Springer

Special journal issue

There will be a special issue of Logical Methods in Computer Science based on selected papers presented at CONCUR 2012