Topics in Dynamic Epistemic Logic 2011-2012