Authors are invited to submit papers presenting original and unpublished research. The proceedings will be published in the Springer-Verlag Lecture Notes in Computer Science Series (LNCS). See, also, instructions for authors.


Simultaneous submission to journals or other conferences with published proceedings is not allowed. Extended versions of selected papers from the proceedings will appear in a special issue of the International Journal of Foundations of Computer Science (IJFCS).

Paper submissions

Submitted papers should not exceed 12 pages and be prepared according to the following guidelines and LNCS-style LaTeX2e. All proofs omitted due to space constraints should be given in an appendix or made accessible through a reliable link to a freely available electronic preprint. Papers should be submitted electronically in PDF through the EasyChair system:



Final paper instructions (after acceptance)

Preparation steps

Technical instructions

Instructions for LNCS authors are available here. Before submitting your files please verify the following checkpoints. The next recommendations follow the order we construct our document.