Formal Epistemology Festival, 2–5 June