Seminars Sorted by Series
Univalent Foundations Seminar
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
Feb
14
2013
Feb
21
2013
Univalent Foundations Seminar
Locally Cartesian Closed Infinity Categories
Joachim Kock
11:00am|S-101
Feb
27
2013
Feb
28
2013
Mar
06
2013
Mar
07
2013
Univalent Foundations Seminar
Setoids, e-Categories, and Exact Completions
Richard Garner
11:00am|S-101
Mar
13
2013
Mar
14
2013
Mar
20
2013
Mar
21
2013
Univalent Foundations Seminar
A Proof Assistant Prototype Based on Algebraic Effects and Handlers
11:00am|S-101
Mar
27
2013
Apr
04
2013
Univalent Foundations Tutorial
Mar
25
2013
Univalent Foundations Tutorial
Isomorphism of Types: A Simple(-Typed) Viewpoint
Sergei Soloviev
4:00pm|S-101
Variational Methods in Geometry Seminar
Sep
25
2018
Variational Methods in Geometry Seminar
Extremal eigenvalue problems and free boundary minimal surfaces in the ball
10:00am|Simonyi Hall 101
Sep
25
2018
Variational Methods in Geometry Seminar
No seminar: postdoctoral short talks
No seminar: postdoctoral short talks
1:45pm|Simonyi Hall 101
Oct
02
2018
Variational Methods in Geometry Seminar
Prescribing scalar curvature in high dimension
1:00pm|Simonyi Hall 101
Oct
02
2018
Variational Methods in Geometry Seminar
On the existence of minimal Heegaard splittings
Dan Ketover
3:30pm|Simonyi Hall 101
Oct
09
2018
Variational Methods in Geometry Seminar
Singularity and comparison theorems for metrics with positive scalar curvature
1:00pm|Simonyi Hall 101