Home › Events › Logic Seminar: Stephen Flood - University of Notre Dame Logic Seminar: Stephen Flood - University of Notre Dame Time: Thu Sep 15, 2011, 1:00 pm - 2:00 pm Location: 125 Hayes Healy Hall Title: The computational strength of a Ramsey-type Konig's Lemma Abstract