Submissions must be written in LaTeX using the LNCS style and must not exceed 12 pages including the bibliography in BibTeX using the bibliography style 'splncs04'. If the authors believe that more details are essential to substantiate the main claims, they may include a marked appendix that will be read at the discretion of the program committee. Simultaneous submissions of papers to any other conference with published proceedings or submitting previously published papers are not allowed. Only electronic submissions in PDF format are accepted. Information about the submission procedure will be available on the conference web page in due time. The proceedings will be published by Springer-Verlag in the series Lecture Notes in Computer Science and will be available at the conference.

• Springer’s proceedings LaTeX templates are available in Overleaf.

Special Issue

Selected papers from the conference will be invited for consideration in an extended version and will appear in a special issue of the International Journal of Foundations of Computer Science (IJFCS).