Accepted submissions will be published as a Special Technical Report in a second volume of the SPLC 2008 proceedings with a separate ISBN.