Abstracts and papers should be submitted in pdf through easychair (requires to create an account for new users) :
https://easychair.org/conferences/?conf=safecomp2023
All paper submissions must be formatted according to the LNCS templates provided by Springer.