European Summer School for Logic, Language and Information