All Seminars & Colloquia
Wednesday, 2/15/2017, 10:30pm - 11:59pm
Title: Diagonal method and tree strategies
Speaker: Valentina Harizanov, GWU
Abstract: We will continue with more sophisticated diagonal arguments in computability theory and how they can be presented on a tree.
Special Colloquium-Connectivity and structure in matroids
Wednesday, 2/15/2017, 4:00pm - 11:59pm
Title: Connectivity and structure in matroids
Speaker: Stefan van Zwam, Louisiana State University
Date and Time: Wednesday, February 15, 11:00am-12:00pm
Place: Rome 459
Wednesday, 2/15/2017, 4:00pm - 11:59pm
Title: Connectivity and structure in matroids
Speaker: Stefan van Zwam, Louisiana State University
Abstract: A general theme in matroid structure theory is that highly connected matroids exhibit more structure than matroids with low-order separations. We will discuss several examples of this phenomenon, as well as an application to the theory of error-correcting codes.
Special Colloquium-Gaussian measures on infinite dimensional spaces and applications
Monday, 2/13/2017, 6:45pm - 11:59pm
Title: Gaussian measures on infinite dimensional spaces and applications
Speaker: Nathan Totz, University of Massachusetts Amherst
Date and Time: Monday, February 13, 1:45-2:45pm
Place: Rome 459
Monday, 2/13/2017, 6:45pm - 11:59pm
Title: Gaussian measures on infinite dimensional spaces and applications
Speaker: Nathan Totz, University of Massachusetts Amherst
Special Colloquium-Shapes of polynomial Julia sets
Friday, 2/10/2017, 7:15pm - 11:59pm
Title: Shapes of polynomial Julia sets
Speaker: Kathryn Lindsey, University of Chicago
Date and Time: Friday, February 10, 2:15-3:15pm
Place: Rome 351
Friday, 2/10/2017, 7:15pm - 11:59pm
Title: Shapes of polynomial Julia sets
Speaker: Kathryn Lindsey, University of Chicago
Logic Seminar-Diagonal method in computability theory
Wednesday, 2/8/2017, 10:30pm - 11:59pm
Wednesday, February 8, 2017
5:30–6:30p.m.
Speaker: Valentina Harizanov, GWU
http://home.gwu.edu/~harizanv/
Place: Rome Hall (801 22nd Street), Room 351
Title: Diagonal method in computability theory
Abstract: We will show how Cantor’s diagonal method is generalized and used in computability theory to construct mathematical objects with various non-computable properties.
Wednesday, 2/8/2017, 10:30pm - 11:59pm
Speaker: Valentina Harizanov, GWU
http://home.gwu.edu/~harizanv/
Title: Diagonal method in computability theory
Abstract: We will show how Cantor’s diagonal method is generalized and used in computability theory to construct sets and structures with various non-computable properties.
Colloquium-Some almost sharp scattering results for the cubic nonlinear wave equation
Tuesday, 1/31/2017, 8:00pm - 11:59pm
Title: Some almost sharp scattering results for the cubic nonlinear wave equation
Speaker: Benjamin Dodson, John Hopkins University
Date and Time: Tuesday, January 31, 2017, 3:00-4:00pm
Place: Rome 771