

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 Sigmatypes in homotopy theoretic models of type theory 


11:15  11:45: 
Peter LeFanu Lumsdaine (Dalhousie):
Conservativity principles in dependent type theory: a homotopytheoretic 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 

