Colloquium Logicum 2008, September 10-12