Proceedings

The conference proceedings  has been published and is available as volume 151 in the EPTCS series:

http://rvg.web.cse.unsw.edu.au/eptcs/content.cgi?AFL2014

The whole proceedings can be obtained in a single pdf file here:

http://cgi.cse.unsw.edu.au/~rvg/eptcs/Published/AFL2014/Proceedings.pdf

Please download and print it, since hardcopies  will not be distributed at the conference.

Journal Publication

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