Logical Methods for Social Concepts, 20-24 July