Formal Semantics and Pragmatics, 19–21 November (The Reasoner, 2010)