Formal Ethics, 3–5 July