Logic and Knowledge, 16-19 June (The Reasoner, 2010)