First Formal Epistemology Festival, 28-30 July