Proceedings

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.