Submitted by admin on Mon, 03/18/2013 - 10:01
Mean Values of L-Functions for the Hyperelliptic Ensemble
Date & Time:
Wed, 03/27/2013 - 15:45 - 16:30
Location:
West Bldg. Lecture Hall
Thanks to the work of Katz and Sarnak on L-functions over function fields, we know that the Frobenius classes associated to L-functions of hyperelliptic curves over a finite field with $q$ elements, $F_{q}$, becomes equidistributed in the unitary symplectic group in the limit as the genus of the curve is fixed and $q$ is large.
Submitted by admin on Fri, 03/15/2013 - 16:01
Substructural Type Theory
IMDEA Software Institute; Member, School of Mathematics
Date & Time:
Fri, 03/22/2013 - 11:00 - 12:30
Submitted by admin on Fri, 03/15/2013 - 16:01
Gluing in Homotopy Type Theory
University of California, San Diego; Member, School of Mathematics
Date & Time:
Wed, 03/20/2013 - 11:00 - 12:30
Submitted by admin on Fri, 03/15/2013 - 16:01
A Proof Assistant Prototype Based on Algebraic Effects and Handlers
University of Ljubljana, Slovenia; Member, School of Mathematics
Date & Time:
Thu, 03/21/2013 - 11:00 - 12:30
Submitted by admin on Wed, 03/13/2013 - 17:01
Date & Time:
Wed, 03/13/2013 - 13:30 - 15:00
Location:
West Bldg. Lecture Hall
Submitted by admin on Wed, 03/13/2013 - 14:01
Rigidity of Actions on CAT(0) Cube Complexes
ETH-Zurich; Member, School of Mathematics
Date & Time:
Mon, 03/25/2013 - 14:00 - 15:00
Submitted by admin on Wed, 03/13/2013 - 14:01
Northeastern Illinois University; Member, School of Mathematics
Date & Time:
Wed, 03/20/2013 - 18:00 - 19:30
Rooms:
Dilworth Room - Rear
Submitted by admin on Wed, 03/13/2013 - 12:01
Dynamics of Gibbs Measure Evolution for the Radial Nonlinear Schr\"odinger and Wave Equations on the Ball
Member, School of Mathematics
Date & Time:
Tue, 03/19/2013 - 15:15 - 16:15
In this talk, we present recent works with Jean Bourgain on global well-posedness for the radial nonlinear Schr\"odinger and wave equations set on the unit ball in $\mathbb{R}^N$ with supercritical data chosen randomly in the support of the corresponding Gibbs measure. Our results include a full treatment of power-type nonlinearities for which the Gibbs measure is well-defined for the 3D nonlinear wave and 2D nonlinear Schr\"odinger equations, while in the case of 3D NLS, our approach is the first to enable treatment of supercritical data on the ball.
Submitted by admin on Wed, 03/13/2013 - 11:01
Natural Models of Type Theory
Carnegie Mellon University; Member, School of Mathematics
Date & Time:
Thu, 03/28/2013 - 11:00 - 12:30
Submitted by admin on Wed, 03/13/2013 - 11:01
The James Construction and pi_4(S^3)
School of Mathematics, IAS
Date & Time:
Wed, 03/27/2013 - 11:00 - 12:30