Submissions must be written in LaTeX using the LNCS style and must not exceed 12 pages, bibliography included. 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 program committee. 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.

Special issue

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 easychair system.