Formal Models of Norm Change, 18-19 January (The Reasoner, 2010)