|A volume of proceedings published by Springer in the Lecture Notes in Computer Science (LNCS) series will be available by the time of the conference.|
Two refereed volumes containing extended versions of selected papers will be published after it as special issues of the journals:
|Information and Computation
||Journal of Logic and Computation
As well, a post-conference volume will be published in the series Studies in Computational Intelligence (Springer) containing extended versions of the papers on subjects closest to the series' scope.