Events by year for Logic Seminars

Navigate to a particular year to see all events from that year.

« 2019 »

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

Poster

Posted In: Logic Seminars

Mon Feb 4, 2019

Computability Seminar: Jun Le Goh - Cornell University

3:00 PM - 4:00 PM
258 Hurley Bldg

Title: A theorem of Halin and hyperarithmetic analysis

Poster

Posted In: Logic Seminars

Tue Feb 5, 2019

Model Theory Seminar: Greg Cousins - University of Notre Dame

10:45 AM - 11:45 AM
125 Hayes-Healy Bldg

Title: Algebraic Independence in PAC fields with almost QE

 …

Posted In: Logic Seminars and Model Theory Seminars

Logic Seminar: Jun Le Goh - Cornell University

2:00 PM - 3:00 PM
125 Hayes-Healy Bldg

Title: The computational content of Koenig's duality theorem

Poster

Posted In: Logic Seminars

Tue Feb 26, 2019

Model Theory Seminar: Anand Pillay - University of Notre Dame

10:45 AM - 11:45 AM
125 Hayes-Healy Bldg

Title: Amenability and definability

Posted In: Logic Seminars and Model Theory Seminars

Logic Seminar: Russell Miller - Queens College CUNY

2:00 PM - 3:00 PM
125 Hayes-Healy Bldg

Title: Model completeness and relative decidability

Poster

Posted In: Logic Seminars

Tue Mar 5, 2019

Model Theory Seminar: Anand Pillay - University of Notre Dame

10:45 AM - 11:45 AM
125 Hayes-Healy Bldg

Title: Amenability and definability continued

 

Posted In: Logic Seminars and Model Theory Seminars

Logic Seminar: Natasha Dobrinen - University of Denver

2:00 PM - 3:00 PM
125 Hayes-Healy Hall

Title: Borel sets of Rado graphs and Ramsey's Theorem 

Poster 

Posted In: Logic Seminars

Mon Mar 18, 2019

Computability Seminar: Stefan Vatev - Sofia University

3:00 PM - 4:00 PM
258 Hurley Bldg

Title: Effective embeddings for pairs of structures

Poster

Posted In: Computability Seminar and Logic Seminars

Tue Mar 26, 2019

Model Theory Seminar: Gabriel Conant - University of Notre Dame

10:45 AM - 11:45 AM
125 Hayes-Healy Bldg

Title: Stability in a group

Poster

Posted In: Logic Seminars and Model Theory Seminars

Tue Apr 2, 2019

Model Theory Seminar: Gabriel Conant - University of Notre Dame

10:45 AM - 11:45 AM
125 Hayes-Healy Bldg

Title: Stability in a group, part 2

Poster

Posted In: Logic Seminars and Model Theory Seminars

Tue Apr 16, 2019

Logic Seminar: Ward Henson - University of Illinois

2:00 PM - 3:00 PM
125 Hayes-Healy Bldg

Title: Ultraproducts as a tool in the model theory of metric structures

Poster

Posted In: Logic Seminars

Tue Apr 30, 2019

Logic Seminar: James Freitag, University of Illinois at Chicago

2:00 PM - 3:00 PM
125 Hayes-Healy Hall

Title: Bounds in Query Learning

Abstract

Posted In: Logic Seminars

Tue Sep 3, 2019

Model Theory Seminar: Chieu Minh Tran - University of Notre Dame

11:00 AM - 12:00 PM
125 Hayes-Healy Bldg

Title: O-minimal methods and generalized sum-product phenomena

Poster

Posted In: Logic Seminars and Model Theory Seminars

Tue Sep 17, 2019

Logic Seminar: Julia Knight - University of Notre Dame

2:00 PM - 3:00 PM
125 Hayes-Healy Bldg

Title: Interpretations with and without parameters

 …

Posted In: Logic Seminars

Tue Sep 24, 2019

Logic Seminar: Krzysztof Krupinski - University of Wroclaw, Poland

2:00 PM - 3:00 PM
125 Hayes-Healy Bldg

Title: Some Ramsey theory and topological dynamics for first order theories

Poster

Posted In: Logic Seminars

Tue Oct 8, 2019

Model Theory Seminar: Daniel Hoffman - University of Notre Dame

10:45 AM - 11:45 AM
125 Hayes-Healy Bldg

Title: Between PAC and NSOP

Poster

Posted In: Logic Seminars and Model Theory Seminars

Tue Oct 15, 2019

Logic Seminar: Dino Rossegger - University of Waterloo

2:00 PM - 3:00 PM
125 Hayes-Healy Bldg

Title: Degree spectra and analytic equivalence relations

Poster

Posted In: Logic Seminars

Tue Nov 5, 2019

Model Theory Seminar: Anand Pillay - University of Notre Dame

10:45 AM - 11:45 PM
125 Hayes-Healy Bldg

Title: Finiteness results in differential Galois cohomology, and applications

 …

Posted In: Logic Seminars

Logic Seminar: C. Ward Henson - University of Illinois at Urbana-Champaign

2:00 PM - 3:00 PM
125 Hayes-Healy Bldg

Title: Model theory of R-trees and of ultrametric spaces

Poster

Posted In: Logic Seminars

Tue Nov 12, 2019

Logic Seminar: Sergei Starchenko - University of Notre Dame

2:00 PM - 3:00 PM
125 Hayes-Healy Bldg

Title: Model-theoretic generalizations of the Elekes-Szabo Theorem

Poster

Posted In: Logic Seminars

Tue Nov 19, 2019

Model Theory Seminar: Anand Pillay - University of Notre Dame

10:45 AM - 11:45 PM
125 Hayes-Healy Bldg

Title: Finite fields with an additive character - survey of Hrushovski paper

 …

Posted In: Logic Seminars and Model Theory Seminars

Tue Dec 10, 2019

Model Theory Seminar: Chieu Minh Tran - University of Notre Dame

10:45 AM - 11:45 PM
125 Hayes-Healy Bldg

Title: Finite fields with an additive character, continued…

Posted In: Logic Seminars and Model Theory Seminars

Subscribe to iCal