|
|
8:30 - 9:00: |
Coffee and Breakfast |
|
|
|
9:00 - 9:45: |
André Joyal (UQAM):
The Koszul sign rule in Feynman diagrams |
|
|
9:45 - 10:15: |
Steve Awodey (CMU):
Sketch of the homotopy interpretation of intensional type theory |
|
|
|
10:20 - 10:40: |
Coffee Break |
|
|
|
10:40 - 11:10: |
Chris Kapulkin (Pittsburgh):
Pi- and Sigma-types in homotopy theoretic models of type theory |
|
|
11:15 - 11:45: |
Peter LeFanu Lumsdaine (Dalhousie):
Conservativity principles in dependent type theory: a homotopy-theoretic approach |
|
|
11:50 - 12:20: |
Michael A. Warren (Dalhousie):
Combinatorial realizability models of type theory |
|
|
|
12:25 - 2:00: |
Lunch |
|
|
|
2:00 - 2:30: |
Jonathan Gallagher (Calgary):
Differential Join Restriction Categories |
|
|
2:35 - 3:05: |
Geoff Cruttwell (Calgary):
Differential and tangent structure for restriction categories |
|
|
3:10 - 3:40: |
Robin Cockett (Calgary):
Integral categories |
|
|
|
3:45 - 4:15: |
Coffee Break |
|
|
|
4:15 - 4:45: |
Fred Linton (Wesleyan):
How to see the reals as compact Hausdorff space, and why you'd want to |
|
|
4:50 - 5:20: |
Susan Niefield (Union):
A Double Category of Topological Spaces |
|
|
|
6:30 - : |
Dinner at Salty's |
|
|