Information for authors of the formal proceedings

Submissions should follow the guidelines of LNCS.