Apr 30 Logic Seminar: Todd Eisworth - Ohio University Time: Tue, Apr 30 at 2:00 pm - 3:00 pm Location: 125 Hayes-Healy Bldg