Information for authors of the formal proceedings
Submissions should follow the
guidelines of LNCS
.