Formal Social Epistemology, 24–26 June