Methods for Modalities, 9–12 November (The Reasoner, 2011)