Submissions must be written in LaTeX using the LNCS style and must not exceed 12 pages, bibliography included. Authors must use the LNCS-style LaTeX2e available at: http://www.springer.de/comp/lncs/authors.html

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.

Authors should submit their contributions at
https://www.easychair.org/conferences/?conf=ciaa2016 [closed]

The proceedings will be published in the Springer LNCS series and will be available at the conference. Extended versions of selected papers from the proceedings will appear in a special issue of International Journal of Foundations of Computer Science (IJFCS).