THEORETICAL ASPECTS OF COMPUTING - ICTAC 2008: 5TH INTERNATIONAL COLLOQUIUM, ISTANBUL, TURKEY, SEPTEMBER 1-3, 2008; PROCEEDINGS