Call for papers

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 2014, 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.


All accepted papers will appear in the pre-proceedings of FACS 2014. Revised versions of accepted papers in the categories A-D above will appear in the post-proceedings of the symposium that will be published as a volume in Springer's LNCS series.
A best paper award will be given in collaboration with EASST.
The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to appear in a special issue of Elsevier's Science of Computer Programming journal.

Downloadable Call for papers

Please feel free to download and distribute our Call for papers (in .pdf or in .txt).