Author: Logic Colloquium (2005 Athens, Greece)