Submission is closed.

Submissions will be by the EasyChair conference system.

Proceedings will be published electronically in the international refereed open access
Electronic Proceedings in Theoretical Computer Science (EPTCS) series.

A special issue of the International Journal of Foundations of Computer Science containing full papers of selected papers will be published after the conference.

Authors wishing to present a paper are invited to submit an extended abstract or a full paper (in English; up to 15 pages including bibliography) in a pdf file via EasyChair using the following link:

http://www.easychair.org/conferences/?conf=afl14

The submitted article should be in English. Please use the EPTCS LaTeX style. Regarding the bibliography of the paper, please use the EPTCS bibliography style and provide DOI numbers whenever possible.