FACS 2016 - 13th International Conference on Formal Aspects of Component Software

We solicit high-quality submissions reporting on (as related to topics mentioned here):
A - original research contributions (18 pages max);
B - applications and experiences (18 pages max);
C - surveys, comparisons, and state-of-the-art reports (18 pages max);
D - tool papers (6 pages max);
In addition, we solicit submissions to the Doctoral Track of FACS 2016, in the form of abstracts (3 pages max) concisely capturing work in progress, related topic, context, research questions, envisaged contributions, and partial results. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Papers should be formatted according to the guidelines for Springer LNCS papers.