Contributions in standard LNCS style should be submitted to their corresponding tracks via https://equinocs.springernature.com/service/ISoLA2022. 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: https://equinocs.springernature.com/service/ISoLA2022
================ 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