Upcoming Events For Logic Seminars
Tue Feb 26, 2019
Logic Seminar: Russell Miller - Queens College CUNY
2:00 PM - 3:00 PM
125 Hayes-Healy Bldg
Title: Model completeness and relative decidability
Posted In: Logic Seminars
Past Events
Tue Jan 22, 2019
Logic Seminar: Sergey Goncharov - Sobolev Institute
2:00 PM - 3:00 PM
125 Hayes-Healy Bldg
Title: The computability via definability and polynomial computability
Posted In: Logic Seminars
Thu Sep 2, 2010
Logic Seminar: Barbara Csima, University of Waterloo
1:00 PM - 2:00 PM
117 Hayes-Healy Hall
Title: The complexity of the upper and lower central series of computable nilpotent groups
Posted In: Logic Seminars
Tue Sep 7, 2010
Logic and Combinatorics Seminar: Stephen Flood, University of Notre Dame
3:45 PM - 5:00 PM
125 Hayes-Healy Hall
Title: Using restricted-growth sets that are only given a few colors to produce monochromatic sets.
Posted In: Logic Seminars
Mon Sep 27, 2010
Logic Seminar: Maurice Chiodo, University of Melbourne
9:30 AM - 10:30 AM
258 Hurley Hall
Title: Constructing splittings and finding non-trivial elements
Posted In: Logic Seminars
Mon Oct 11, 2010
Logic Seminar: Raf Cluckers, Universite de Lille, France
3:00 PM - 4:00 PM
126 DeBartolo Hall
Title: Motivic integration and two transfer principles
Posted In: Logic Seminars
Wed Oct 13, 2010
Logic Seminar: Raf Cluckers, Universite de Lille, France
3:00 PM - 4:00 PM
126 DeBartolo Hall
Title: Motivic integration and two transfer principles
Posted In: Logic Seminars
Thu Oct 14, 2010
Logic Seminar: Raf Cluckers, Universite de Lille, France
1:00 PM - 2:00 PM
117 Hayes-Healy Hall
Title: Motivic integration and two transfer principles
Posted In: Logic Seminars
Tue Oct 12, 2010
Logic Seminar: Cameron Hill - University of Notre Dame
3:45 PM - 5:00 PM
125 Hayes-Healy Hall
Posted In: Logic Seminars
Fri Oct 15, 2010
Logic Seminar: Cameron Hill - University of Notre Dame
3:00 PM - 4:00 PM
126 DeBartolo Hall
Title: Geometric model theory in efficient computability
Posted In: Logic Seminars
Thu Nov 4, 2010
Logic Seminar: Paul Shafer, Cornell University
1:00 PM - 2:00 PM
117 Hayes-Healy Hall
Title: Medvedev degrees: characterizing the first-order theory and the join-irreducibles
Posted In: Logic Seminars
Thu Nov 11, 2010
Logic Seminar: Alex Wilkie, University of Manchester, UK
12:50 PM - 1:50 PM
117 Hayes-Healy Hall
Title: Some Model Theory for Analytic Functions
Posted In: Logic Seminars
Fri Nov 12, 2010
Logic Seminar: Alex Wilkie, The University of Manchester, UK
3:00 PM - 4:00 PM
126 DeBartolo Hall
Title: Some Model Theory for Analytic Functions
Posted In: Logic Seminars
Thu Nov 18, 2010
Logic Seminar: Alex Wilkie, The University of Manchester, UK
12:50 PM - 1:50 PM
117 Hayes-Healy Hall
Title: Some Model Theory for Analytic Functions
Posted In: Logic Seminars
Fri Nov 19, 2010
Logic Seminar: Alex Wilkie, The University of Manchester, UK
3:00 PM - 4:00 PM
126 DeBartolo Hall
Title: Some Model Theory for Analytic Functions
Posted In: Logic Seminars
Wed Dec 1, 2010
Logic Seminar: Alex Wilkie, The University of Manchester, UK
3:00 PM - 4:00 PM
126 DeBartolo Hall
Title: Some Model Theory for Analytic Functions
Posted In: Logic Seminars
Thu Dec 2, 2010
Logic Seminar: Alex Wilkie, The University of Manchester, UK
12:50 PM - 1:50 PM
117 Hayes-Healy Hall
Title: Some Model Theory for Analytic Functions
Posted In: Logic Seminars
Fri Dec 3, 2010
Logic Seminar: Alex Wilkie, The University of Manchester, UK
3:00 PM - 4:00 PM
126 DeBartolo Hall
Title: Some Model Theory for Analytic Functions
Posted In: Logic Seminars
Mon Dec 6, 2010
Logic Seminar: Alex Wilkie, The University of Manchester, UK
3:00 PM - 4:00 PM
126 DeBartolo Hall
Title: Some Model Theory for Analytic Functions
Posted In: Logic Seminars
Tue Dec 7, 2010
Logic Seminar: Alex Wilkie, The University of Manchester, UK
12:50 PM - 1:50 PM
117 Hayes-Healy Hall
Title: Some Model Theory for Analytic Functions
Posted In: Logic Seminars
Wed Dec 8, 2010
Logic Seminar: Alex Wilkie, The University of Manchester, UK
3:00 PM - 4:00 PM
126 DeBartolo Hall
Title: Some Model Theory for Analytic Functions
Posted In: Logic Seminars
Mon Nov 15, 2010
Combinatorics and Logic Seminar: Cameron Hill
3:00 PM - 4:00 PM
126 DeBartolo Hall
Title: Geometric model theory in efficient computability (Part 3)
Posted In: Logic Seminars
Thu Feb 3, 2011
Logic Seminar: Paola D'Aquino, Second University of Naples
2:00 PM - 3:00 PM
258 Hurley Hall
Title: Exponential polynomials
Posted In: Logic Seminars
Logic and Combinatorics Seminar: David Galvin, University of Notre Dame
11:00 AM - 12:00 PM
125 Hayes-Healy Hall
Title: Szemeredi's regularity lemma (I)
Posted In: Logic Seminars
Thu Feb 10, 2011
Logic Seminar: Philipp Hieronymi, University of Illinois at Urbana-Champaign
2:00 PM - 3:00 PM
258 Hurley Hall
Title: Beyond o-minimality - Classifications of expansions of the real field
Posted In: Logic Seminars
Logic and Combinatorics Seminar: David Galvin, University of Notre Dame
11:00 AM - 12:10 PM
125 Hayes-Healy Hall
Title: Szemeredi's regularity lemma (II)
Posted In: Logic Seminars
Tue Feb 22, 2011
Logic Seminar: Yimu Yin, University of Pittsburgh
1:00 PM - 3:00 PM
127 Hayes-Healy Hall
Title: Hrushovski-Kazhdan style integration
Posted In: Logic Seminars
Thu Feb 17, 2011
Logic Seminar: Rebecca Steiner, Queens College - CUNY
2:00 PM - 3:00 PM
258 Hurley Hall
Title: Effective Algebraicity
Posted In: Logic Seminars
Wed Feb 16, 2011
Logic Seminar: Koushik Pay - University of California, Berkeley
4:00 PM - 5:00 PM
258 Hurley Hall
Title: Model Theory of Fields with Operators
Posted In: Logic Seminars
Thu Feb 17, 2011
Logic and Combinatorics Seminar: David Galvin, University of Notre Dame
11:00 AM - 12:00 PM
125 Hayes-Healy Hall
Title: Szemeredi's regularity lemma (III)
Posted In: Logic Seminars
Thu Mar 3, 2011
Logic Seminar: Jesse Johnson, University of Notre Dame
2:00 PM - 3:00 PM
258 Hurley Hall
Title: A computational approach to reverse mathematics, countable and uncountable
