Logic Seminar: Jack Yoon When: April 28, 2017 @ 2:30 pm – 3:30 pm 2017-04-28T14:30:00-10:00 2017-04-28T15:30:00-10:00 Where: Keller 404 Logic seminar Jack Yoon will continue his explication of Proof Mining.