All presented papers are collected in a special volume of the SPLC 2007 conference proceedings which will have a separate ISBN.