Seminar series Logic Seminar Date Tue, 14 May 2019 11:30 Location C4 Speaker Anand Pillay Organisation University of Notre Dame