European Summer School on Logic, Language, and Information