Formal Ethics Conference, 29-30 May