Mid-Atlantic Mathematical Logic Seminar, 13–15 January