Paper Submission

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
https://equinocs.springernature.com/service/isola2022reocas

—

PWN – Programming: What is Next: The Role of Documentation
https://equinocs.springernature.com/service/isola2022pwn

—

XbyC – X-by-Construction Meets Runtime Verification
https://equinocs.springernature.com/service/isola2022xbyc

—

ASRE – Automated Software Re-Engineering
https://equinocs.springernature.com/service/isola2022asre

—

DTE – Digital Twin Engineering
https://equinocs.springernature.com/service/isola2022dte

—

SpecThis – Specify This – Bridging gaps between program specification paradigms
https://equinocs.springernature.com/service/isola2022specthis

—

VVCDS – Verification and Validation of Concurrent and Distributed Heterogeneous Systems
https://equinocs.springernature.com/service/isola2022vvcds

—

F3ML – Formal Methods Meet Machine Learning
https://equinocs.springernature.com/service/isola2022f3ml

—

DisCoRail – Formal methods for DIStributed COmputing in future RAILway systems
https://equinocs.springernature.com/service/isola2022discorail

—

DocSym – Doctoral Symposium
https://equinocs.springernature.com/service/isola2022docsym

—

InDay – Industrial Day
https://equinocs.springernature.com/service/isola2022inday

—

RERS – Rigorous Examination of Reactive Systems
https://equinocs.springernature.com/service/isola2022rers

—

STRESS – International School on Tool-based Rigorous Engineering of Software Systems
https://equinocs.springernature.com/service/isola2022stress