Proceedings

The proceedings will be published with Springer Verlag as volume 6055 in the LNCS series.