posted by user: ndisp || 3675 views || tracked by 11 users: [display]

CONCUR 2016 : The 27th International Conference on Concurrency Theory

FacebookTwitterLinkedInGoogle


Conference Series : International Conference on Concurrency Theory
 
Link: http://www.concur2016.ulaval.ca/
 
When Aug 23, 2016 - Aug 26, 2016
Where Québec City, Canada
Abstract Registration Due Apr 11, 2016
Submission Deadline Apr 18, 2016
Notification Due Jun 8, 2016
Final Version Due Jun 22, 2016
Categories    formal methods   verification   theoretical computer science   logic
 

Call For Papers

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

CONCUR 2018   29th International Conference on Concurrency Theory
VMCAI 2019   International Conference on Verification, Model Checking, and Abstract Interpretation
VISAPP 2019   14th International Conference on Computer Vision Theory and Applications
TACAS 2019   International Conference on Tools and Algorithms for the Construction and Analysis of Systems
CryBlockSpecial 2018   Cryptocurrencies and Blockchains for Distributed Systems, (special issue) Concurrency and Computation: Practice and Experience, Wiley
LATA 2019   13th International Conference on Language and Automata Theory and Applications
BES 2018   3th International Conference on Biomedical Engineering and Science
COLT 2019   Computational Learning Theory
SA-TTA @SAC 2019   The 7th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 34rd ACM/SIGAPP Symposium On Applied Computing (SAC 2019)
HSCC 2019   22nd ACM International Conference on Hybrid Systems: Computation and Control