LOPSTR 2008: International Symposium on Logic-Based Program Synthesis and Transformation 2008