Accepted papers will be published in a volume of the Lecture Notes in Computer Science series by Springer-Verlag. The proceedings will be available on-site.