School of Mathematics

PDF version

Joint IAS-PU Symplectic Geometry Seminar

Submitted by admin on Thu, 02/14/2013 - 16:01
Lagrangian Caps in High-Dimensional Symplectic Manifolds
Emmy Murphy
Massachusetts Institute of Technology
Date & Time: 
Fri, 03/08/2013 - 13:30 - 14:30
Location: 
Fine Hall 322
terms:

Univalent Foundations Seminar

Submitted by admin on Thu, 02/14/2013 - 12:01
Locally Cartesian Closed Infinity Categories
Joachim Kock
Universitat Autonoma de Barcelona
Date & Time: 
Thu, 02/21/2013 - 11:00 - 12:30
Location: 
S-101
Video Link: 

http://video.ias.edu/univalent/2013/0221-JoachimKock

terms:

Working Group on Univalent Foundations

Submitted by admin on Thu, 02/14/2013 - 11:01
The Universe is Indiscrete
Martin Escardo
University of Birmingham, UK
Date & Time: 
Fri, 02/22/2013 - 11:00 - 12:30
Location: 
S-101
terms:

Analysis Seminar

Submitted by admin on Tue, 02/12/2013 - 17:01
New Approximations of the Total Variation, and Filters in Image Processing
Series: 
Analysis Seminar
Haim Brezis
Rutgers, The State University of New Jersey
Date & Time: 
Tue, 02/19/2013 - 15:15 - 16:15
Location: 
S-101
Video Link: 

http://video.ias.edu/analysis/1213/0219-HaimBrezis

I will present new results concerning the approximation of the BV-norm by nonlocal, nonconvex, functionals. The original motivation comes from Image Processing. Numerous problems remain open. The talk is based on a joint work with H.-M. Nguyen.

terms:

Univalent Foundations Seminar

Submitted by admin on Tue, 02/12/2013 - 11:01
pi_2(s^2) in HoTT
Guillaume Brunerie
School of Mathematics, IAS
Date & Time: 
Wed, 02/20/2013 - 11:00 - 12:30
Location: 
S-101
Video Link: 

http://video.ias.edu/univalent/1213/0220-GuillaumeBrunerie

terms:

Univalent Foundations Seminar

Submitted by admin on Thu, 02/07/2013 - 11:01
On Finite Types That Are Not h-Sets
Sergey Melikhov
Steklov Mathematical Institute; Member, School of Mathematics
Date & Time: 
Thu, 02/14/2013 - 11:00 - 12:30
Location: 
S-101
Video Link: 

http://video.ias.edu/univalent/1213/0214-SergeyMelikhov

terms:

Univalent Foundations Seminar

Submitted by admin on Thu, 02/07/2013 - 11:01
The Hopf Fibration via Higher Inductive Types
Peter Lumsdaine
Dalhousie University; Member, School of Mathematics
Date & Time: 
Wed, 02/13/2013 - 11:00 - 12:30
Location: 
S-101
Video Link: 

http://video.ias.edu/univalent/1213/0213-PeterLumsdaine

terms:

Mathematical Conversations

Submitted by admin on Wed, 02/06/2013 - 15:01
Kozai-Lidov Oscillations
Scott Tremaine
School of Natural Sciences, IAS
Date & Time: 
Wed, 02/13/2013 - 18:00 - 19:30
Location: 
Dilworth Room
Rooms: 
Dilworth Room - Rear
Rooms: 
Dilworth Room
terms:

Members Seminar

Submitted by admin on Wed, 02/06/2013 - 15:01
Series: 
Members Seminar
No seminar today -- IAS closed for Presidents' Day
Date & Time: 
Mon, 02/18/2013 - 14:00 - 15:00
terms:

Mathematical Conversations

Submitted by admin on Wed, 02/06/2013 - 12:01
What is a Higher Order Object?
Nils Baas
Norwegian University of Science and Technology; Member, School of Mathematics
Date & Time: 
Wed, 02/06/2013 - 18:00 - 19:30
Location: 
Dilworth Room
Rooms: 
Dilworth Room - Rear
Rooms: 
Dilworth Room
terms:
Syndicate content