FoIKS proceedings will be published by Springer-Verlag in the Lecture Notes in Computer Science (LNCS) series. After each symposium authors of selected papers will be asked to prepare extended versions of their papers for publication in a special issue of the Journal Annals of Mathematics and Artificial Intelligence.

FoIKS proceedings are available now. You can find information about it at http://www.springeronline.com/3-540-20965-4 or access the online version.