

8:30  9:00: 
Coffee and Breakfast 



9:00  9:45: 
Robin Cockett (Calgary):
Can you differentiate a polynomial? (part 1) 


9:45  10:30: 
Robert Seely (McGill):
Towards a notion of Cartesian differential storage category 



10:30  10:55: 
Break 



10:55  11:40: 
Brett Giles (Calgary):
Linear Quantum Programming Language (LPQL) and implementing a Quantum Stack 


11:40  12:25: 
Susan Niefield (Union):
A double approach to variation for bicategories 



12:25  2:00: 
Lunch 



2:00  2:45: 
Geoff Cruttwell (Ottawa):
Differential structure, tangent structure, and SDG 


2:45  3:30: 
Jonathan Gallagher (Calgary):
Differential combinatory algebras 



3:30  3:55: 
Break 



3:55  4:40: 
Philip Mulry (Colgate):
An Overview of Some Categorical Approaches to Computation 


4:40  5:25: 
Pieter Hofstra (Ottawa):
Isotropy and Crossed Toposes 


5:25  5:40: 
Ernie Manes (Massachusetts):




7:00  : 
Dinner 

