Proceedings

Formal proceedings will be published as one issue of Springer-Verlag's "Lecture Notes in Computer Science" (LNCS) series soon after the workshop. Informal proceedings will be handed out at the workshop.