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.