Difference between revisions of "Colloquia 2012-2013"
Line 60: | Line 60: | ||
|''TBA'' | |''TBA'' | ||
|WIMAW | |WIMAW | ||
+ | |- | ||
+ | |'''wed''' nov 3 | ||
+ | |[http://sites.google.com/site/thalespitt/ Tom Hales] (Pittsburgh) | ||
+ | |''Introduction to Formal Proofs'' | ||
+ | |Nigel ('''Distinguished lecture''') | ||
+ | |- | ||
+ | |'''thu''' nov 4 | ||
+ | |[http://sites.google.com/site/thalespitt/ Tom Hales] (Pittsburgh) | ||
+ | |''Towards a Formal Proof of Kepler conjecture on Sphere Packings'' | ||
+ | |Nigel ('''Distinguished lecture''') | ||
|- | |- | ||
|nov 5 | |nov 5 | ||
|[http://sites.google.com/site/thalespitt/ Tom Hales] (Pittsburgh) | |[http://sites.google.com/site/thalespitt/ Tom Hales] (Pittsburgh) | ||
− | |'' | + | |''Proof Assistants in Practice'' |
|Nigel ('''Distinguished lecture''') | |Nigel ('''Distinguished lecture''') | ||
|- | |- |
Revision as of 14:15, 19 October 2010
Mathematics Colloquium
All colloquia are on Fridays at 4:00 pm in Van Vleck B239, unless otherwise indicated.
Fall 2010
date | speaker | title | host(s) |
---|---|---|---|
sept 3 | Timo Seppalainen (Madison) | Scaling exponents for a 1+1 dimensional directed polymer | local |
sept 10 | Moe Hirsch (Madison) | Actions of Lie groups and Lie algebras on manifolds | local |
sept 17 | Uri Andrews (Madison) | Computable stability theory | local |
sept 24 | Margo Anderson (UW-Milwaukee) | The politics of numbers | Jordan (Math and... seminar) |
oct 1 | Matthew Finn (U. of Adelaide) | Hot spots | Jean-Luc |
wed oct 6 | Robert Krasny (U. of Michigan) | Computing vortex sheet motion | Shi |
oct 8 | Anita Wager (Madison) | Bridging In and Out-of-School Mathematics: A Framework for Incorporating Students' Culture | Steffen |
oct 15 | Felipe Voloch (U. Texas Austin) | Local-Global principles for integral points on curves | Nigel |
oct 22 | Markus Banagl (U. Heidelberg) | On the Stability of Intersection Space Cohomology Under Deformation of Singularities | Maxim |
oct 29 | Irina Mitrea (IMA and WPI) | TBA | WIMAW |
wed nov 3 | Tom Hales (Pittsburgh) | Introduction to Formal Proofs | Nigel (Distinguished lecture) |
thu nov 4 | Tom Hales (Pittsburgh) | Towards a Formal Proof of Kepler conjecture on Sphere Packings | Nigel (Distinguished lecture) |
nov 5 | Tom Hales (Pittsburgh) | Proof Assistants in Practice | Nigel (Distinguished lecture) |
nov 12 | Greg Buck (St. Anselm) | TBA | Jean-Luc |
nov 19 | Jeff Xia (Northwestern) | TBA | Shi |
wed dec 1 | Peter Markowich (Cambridge and Vienna) | TBA | Shi (Wasow Lecture) |
dec 10 | Benson Farb (Chicago) | TBA | Jean-Luc |
Abstracts
Robert Krasny Computing Vortex Sheet Motion
Vortex sheets are used in fluid dynamics to model thin shear layers in slightly viscous flow. Examples include a mixing layer subject to Kelvin-Helmholtz instability and the trailing wake of an aircraft. One of the earliest simulations in computational fluid dynamics used the point vortex method to compute vortex sheet motion and the results seemed to confirm Prandtl's idea that vortex sheets roll up smoothly into concentrated spirals. However, later simulations with higher resolution encountered difficulty due to the fact that the initial value problem is ill-posed and a singularity forms at a finite time from smooth initial data. I'll describe the fundamental contributions on this topic by Louis Rosenhead, Garrett Birkhoff, and Derek Moore, and then discuss more recent regularized simulations past the critical time. The results support a conjecture by Dale Pullin on self-similarity, but chaotic dynamics intervenes unexpectedly. Finally I'll describe a new panel method for vortex sheet motion in 3D flow which uses a treecode to gain efficiency. A simulation of vortex ring dynamics will be shown and an application of the treecode in molecular dynamics will be briefly indicated.
Anita Wager Bridging In and Out-of-School Mathematics: A Framework for Incorporating Students' Culture
This presentation will examine a professional development designed to explore a broadened notion of teaching for understanding that considers the cultural and socio-political contexts in which children live and learn. The goal of the study was to identify how teachers, in the process of learning to consider their mathematics pedagogy through an equity lens, construed the relationships among mathematics achievement and culture. An analysis of the features teachers focused on when they incorporated the ideas of mathematics teaching for understanding with students' out-of-school mathematical knowledge revealed four related practices: (a) identifying embedded mathematical practices prominent in contexts, (b) addressing cultural activities using school mathematics, (c) creating teacher initiated situated settings, and (d) using cultural contexts for problems. The practices provide a framework to address an ongoing issue in mathematics education: how to incorporate students out-of-school experiences in the classroom.
Markus Banagl On the Stability of Intersection Space Cohomology Under Deformation of Singularities
In many situations, it is homotopy theoretically possible to associate to a singular space in a natural way a cell complex, its intersection space, whose cohomology possesses Poincare duality, but turns out to be a new cohomology theory for singular spaces, not isomorphic in general to intersection cohomology or L2-cohomology. An alternative description of the new theory by a de Rham complex is available as well. The theory has a richer internal algebraic structure than intersection cohomology and addresses questions in type II string theory. While intersection cohomology is stable under small resolutions, the new theory is often stable under deformations of singularities. The latter result is joint work with Laurentiu Maxim.