Format. The submitted paper should be no longer than 15 pages in the standard format for Springer-Verlag's Lecture Notes in Artificial Intelligence series. The 15 page limit includes title, abstract, acknowledgements, references, illustrations and any other parts of the paper; appendixes bypassing the page limit are not allowed.

Submission Mode. The ALT reviewing process is not double-blind, as programme committee members will have access to author identities. Still, in order to decrease bias based on the knowledge of the authors and in order to allow double-blind subreviewing, submissions shall not include author names nor affiliations. Accordingly, acknowledgements should not be included in the submitted version of the paper, and prior work by the authors should be referred to in the third person. Papers that do not satisfy these guidelines will not be reviewed.

Policy. Each submitted paper will be reviewed by the members of the programme committee and be judged on clarity, significance and originality. Joint submissions to other conferences with published proceedings are not allowed. Papers that have appeared in or are under review for journals or other conferences are not appropriate for ALT 2016. However, it is acceptable to submit to ALT work that has been made available as a technical report (or similar, e.g. on without citing it.

Proceedings. All accepted papers will be published as a volume in the Lecture Notes in Artificial Intelligence, Springer-Verlag, and will be available at the conference. Full versions of selected papers of ALT 2016 will be invited to a special issue of the journal Theoretical Computer Science (Elsevier).

E.M. Gold Award. One scholarship of EUR 555 will be awarded to a student author of an excellent paper. Please mark student submissions on the title page. Note that this paper can be co-authored by other researchers.

Important Dates.

Full paper submission: 13 May 2016
Author notification: 30 June 2016
Camera-ready papers due: 22 July 2016
Conference: 19-21 October 2016

Submission. Authors can submit their papers electronically via our submission page through Easychair, which is now open for submissions. You can submit the paper as long as it is 13 May 2016 anywhere in the world.

Queries. For queries please contact the PC co-chairs via the email