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.

In a departure from previous years, this year the ALT reviewing process will be double blind. Authors should ensure that the submission does not include author names and affiliations. Acknowledgements should not be included in the submission 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 2015. 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 2015 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 coauthored by other researchers.

The submission is open from 1 April 2015.

The Deadline is 11 May 2015.

Link to Electronic Submission. Authors can submit their papers electronically via the submission page through Easychair.

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