Seminars Sorted by Series
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
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