Seminars Sorted by Series
Towards 2-Dimensional Geometric Langlands Duality
Jan
31
2008
Towards 2-Dimensional Geometric Langlands Duality
Double Affine Hecke Algebra from Loop Groups Over p-Adic fields (after Kapranov and Gaitsgory-Kazhdan)
2:00pm|S-101
Feb
07
2008
Feb
14
2008
Towards 2-Dimensional Geometric Langlands Duality
Duality From Six Dimensions (continued)
2:00pm|S-101
Feb
21
2008
Towards 2-Dimensional Geometric Langlands Duality
Duality From Six Dimensions (continued)
2:00pm|S-101
Feb
28
2008
Mar
06
2008
Towards 2-Dimensional Geometric Langlands Duality
Boundary Conditions in Gauge Theory (continued)
2:00pm|S-101
Truth and Beauty: Bombieri's Mathematical Gardens
Apr
12
2024
Truth and Beauty: Bombieri's Mathematical Gardens
Bombieri and Calculus of Variations
2:05pm|Simonyi 101 and Remote Access
Apr
12
2024
Truth and Beauty: Bombieri's Mathematical Gardens
On Effectivity for Integral Points on Some Curves of Genus 2
Umberto Zannier
2:40pm|Simonyi 101 and Remote Access
Apr
12
2024
Truth and Beauty: Bombieri's Mathematical Gardens
G-functions ,Q-points, and Unlikely Intersections
Jonathan Pila
4:00pm|Simonyi 101 and Remote Access
Apr
12
2024
Truth and Beauty: Bombieri's Mathematical Gardens
Walking Through the Large Sieve
Henryk Iwaniec
4:30pm|Simonyi 101 and Remote Access
Apr
12
2024
Truth and Beauty: Bombieri's Mathematical Gardens
Some More Gems
5:00pm|Simonyi 101 and Remote Access
U.S. Income Tax Seminar for Members
Univalent Foundations Final Seminar
Apr
11
2013
Univalent Foundations Final Seminar
Homotopy Theory in Type Theory
``The Homotopy Group'' ( (1) Guillaume Brunerie, (2) Dan Licata, (3) Peter Lumsdaine)
11:00am|S-101
Univalent Foundations Organizational Meeting
Univalent Foundations Seminar
Sep
27
2012
Oct
10
2012
Oct
11
2012
Oct
18
2012
Nov
01
2012
Univalent Foundations Seminar
Kan Simplicial Set Model of Type Theory (continued)
Peter Lumsdaine
11:00am|S-101
Nov
29
2012
Dec
06
2012
Dec
13
2012
Univalent Foundations Seminar
Invariance Under Isomorphism and Definability
Per Martin-L\"of
11:00am|S-101
Dec
20
2012
Univalent Foundations Seminar
Constructing HITs in a Realizability Model
11:00am|West Bldg. Lecture Hall
Jan
17
2013
Jan
24
2013
Jan
30
2013
Feb
07
2013
Univalent Foundations Seminar
Isomorphic Structures of any Kind are `Equal' in HoTT: But What is a Kind of Structure?
Peter Aczel
11:00am|S-101
Feb
13
2013
Univalent Foundations Seminar
The Hopf Fibration via Higher Inductive Types
Peter Lumsdaine
11:00am|S-101