
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).