Submissions must be written in LaTeX using the LNCS style and must not exceed 12 pages,
If the authors believe that more details are essential to substantiate the main claims,
they may include a clearly marked appendix that will be read at the discretion of the
Simultaneous submissions of papers to journals or any other conference with published
proceedings, or submitting previously published papers is not allowed.
Only electronic submission of PDF documents is possible.
The proceedings will be published in the Springer LNCS series
and will be available at the conference.
Authors should submit their contributions here.
Selected papers from the conference will be invited for consideration in
an extended version and will appear in a
special issue of
International Journal of Foundations of Computer Science (IJFCS). Files must be submitted using the