Mid-Atlantic Mathematical Logic Seminar, 13–15 January (The Reasoner, 2012)