First Formal Epistemology Festival, 28-30 July (The Reasoner, 2008)