2008. European Summer School on Logic, Language and Information, 4-15 August. The Reasoner. 2, 9 (Sep. 2008).