Seventeenth European Summer School in Logic, Language and Information - ESSLLI-2005