Language Proof And Logic 2011