Paper Submission

Contributions in standard LNCS style should be submitted to their corresponding tracks via The expected length is around 15 pages with some flexibility in case of need.

All accepted contributions will be published in the Symposium’s LNCS Proceedings (Springer Verlag). Selected contributions will be invited also to the Springer Journals Innovations in Systems and Software Engineering: A NASA Journal (Springer Verlag, London), Software Tools for Technology Transfer  STTT (Springer Verlag, Heidelberg) or the LNCS Transaction on the Foundations for Mastering Change (FoMaC).

Please note the Information for LNCS Authors and especially the chapter “Copyright form” with the LNCS_Copyright_Form.

Main Submission Link:

================  Individual Submission Links for the Tracks ==========================

REoCAS – Rigorous Engineering of Collective Adaptive Systems

PWN – Programming: What is Next: The Role of Documentation

XbyC – X-by-Construction Meets Runtime Verification

ASRE – Automated Software Re-Engineering

DTE – Digital Twin Engineering

SpecThis – Specify This – Bridging gaps between program specification paradigms

VVCDS – Verification and Validation of Concurrent and Distributed Heterogeneous Systems

F3ML – Formal Methods Meet Machine Learning

DisCoRail – Formal methods for DIStributed COmputing in future RAILway systems

DocSym – Doctoral Symposium

InDay – Industrial Day

RERS – Rigorous Examination of Reactive Systems

STRESS – International School on Tool-based Rigorous Engineering of Software Systems