Formal Methods, 2-6 November (The Reasoner, 2009)