Formal Methods in the Epistemology of Religion, 10-12 June (The Reasoner, 2024)