Logic Seminar, Winter 2017