All submissions must follow Springer’s LNCS format* without changing default margins, fonts, etc. The total page limit is 18 pages excluding references. Supplementary materials that facilitate verification of the results, e.g., source code, proof details, etc., may be appended without a page limit or uploaded as separate files, but reviewers are neither required to read them nor will they be printed in the proceedings. Hence submissions must be complete, intelligible and self-contained within the 18 pages bound. Papers should have page numbers to facilitate their review. In LaTeX, this can be achieved for instance using\pagestyle{plain}. Each submission must be a single PDF file. Papers should present original research and should provide sufficient background material to make them accessible to the broader community. It should not be submitted in parallel to any other conference or journal. All manuscripts will be reviewed and judged on correctness, originality, technical strength, and significance, quality of presentation, and interest and relevance to the conference.

At least one author of an accepted paper must attend SCA19 to present the paper.