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