The proceedings of WG 2007 will be published in Springer's Lecture Notes in Computer Science series. To be included in the proceedings, the final version of each accepted paper must meet the standards set by Springer and must not exceed 12 pages. You can find the Authors' Instructions on Springer's LNCS site.

Please send your final LaTeX source files, figures, pdf-file and readme, preferably as an attached archive file, to : ke@informatik.uni-rostock.de (Subject: FINAL)

You are required to sign a copyright form (pdf) that you should fax to +49 381 498-7642, or send to

Katrin Erdmann
Universität Rostock
Institut für Informatik
LS Theoretische Informatik
18051 Rostock
Germany