The proceedings have been published by Springer as
LNCS 3293
.