LOGIC, LANGUAGE, INFORMATION AND COMPUTATION: 15TH INTERNATIONAL WORKSHOP, WOLLIC 2008 EDINBURGH, UK, JULY 1-4, 2008, PROCEEDINGS