CONCUR: International Conference on Concurrency Theory

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2017 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
CONCUR 2016 The 27th International Conference on Concurrency Theory
Aug 23, 2016 - Aug 26, 2016 Qu├ębec City, Canada Apr 18, 2016 (Apr 11, 2016)
CONCUR 2015 26th International Conference on Concurrency Theory
Sep 1, 2015 - Sep 4, 2015 Madrid, Spain Apr 20, 2015 (Apr 13, 2015)
CONCUR 2014 The 25th International Conference on Concurrency Theory
Sep 1, 2014 - Sep 6, 2014 Rome, Italy Apr 19, 2014 (Apr 14, 2014)
CONCUR 2013 International Conference on Concurrency Theory
Aug 27, 2013 - Aug 30, 2013 University of Buenos Aires, Argentina Apr 8, 2013 (Apr 1, 2013)
CONCUR 2012 23rd International Conference on Concurrency Theory
Sep 3, 2012 - Sep 8, 2012 Newcastle upon Tyne, UK Apr 11, 2012 (Apr 4, 2012)
CONCUR 2011 22nd International Conference on Concurrency Theory
Sep 6, 2011 - Sep 9, 2011 Aachen, Germany Apr 8, 2011 (Apr 1, 2011)
CONCUR 2010 21st International Conference on Concurrency Theory
Aug 31, 2010 - Sep 3, 2010 Paris, France Apr 15, 2010 (Apr 8, 2010)
CONCUR 2009 20th International Conference on Concurrency Theory
Sep 1, 2009 - Sep 4, 2009 Bologna, Italy Apr 15, 2009 (Apr 8, 2009)
CONCUR 2008 Conference on Concurrency Theory
Aug 19, 2008 - Aug 22, 2008 Toronto, Canada Apr 11, 2008 (Apr 4, 2008)
 
 

Present CFP : 2016

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 such as 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, synthesis, testing, theorem proving, and type systems;
Related programming models: distributed, component based, object-oriented, and web services;
Security issues in concurrent systems.

Important Dates

Submission of Abstracts: April 11th, 2016
Submission of Papers: April 18th, 2016
Notification: June 8th, 2016
Final version: June 22, 2016

Submissions and Publications

CONCUR solicits high quality papers reporting research results and/or experience reports. All papers must be original, unpublished and not submitted for publication elsewhere. Each paper will undergo a thorough review process.

The CONCUR proceedings will be published in LIPIcs (Leibniz International Proceedings in Informatics), published under an open access license by Dagstuhl Publishing. As usual, the Proceedings will be available before the conference.

Submissions will be in electronic form via EasyChair. The usage of pdflatex and the LIPIcs style file (see here for some formatting tricks) are mandatory: no changes to font size, page geometry, etc. are permitted. Authors are invited to submit a draft of at most 13 pages including references. Submissions not in the correct format or submitted after the deadline will be rejected without further consideration.

If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee and the reviewers.

As usual, for an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper at the conference. All papers must be original and unpublished. Simultaneous submission to other conferences or workshops with published proceedings or to journals is not allowed.
 

Related Resources

Petri Nets 2017   CFP 38th Int. Conf. on APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY (Petri nets 2017), Zaragoza, Spain, June 25-30, 2017
ICALP 2017   44th International Colloquium on Automata, Languages, and Programming
IJBES 2016   International journal of Biomedical Engineering and Science
PODS 2017   36th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems
LICS 2017   Thirty-Second Annual ACM/IEEE Symposium on Logic in Computer Science
ICFEM 2017   19th International Conference on Formal Engineering Methods
Big Data Analytics@IJCNN 2017   [Deadline Extended] Special Session: 'Large Datasets and Big Data Analytics: Theory, Methods, and Applications' at IJCNN 2017
Gift-ACLA 2017   The Gift in Literature: ACLA Seminar
BIOEJ 2016   Bioscience & Engineering: An International Journal
DNC2 2017   DiscourseNet Congress #2 - Interdisciplinary Discourse Studies: Theory and Practice