Home › Events › Logic Seminar: Greg Cousins - University of Notre Dame Logic Seminar: Greg Cousins - University of Notre Dame Time: Tue Mar 3, 2015, 2:00 pm - 3:00 pm Location: 125 Hayes-Healy Hall Title: An Introduction to the Teq Construction Abstract