Formal Models of Norm Change, 18-19 January