Formal models of norm change, 19-30 November (The Reasoner, 2008)