Logical Models of Group Decision Making, 12–16 August