Almost Final Schedule:

Tuesday May 28, 2019

5:00 pm	Meet at ICT, University of Calgary
7:00 am	Reception at Kananaskis Field Station
8:00 am	Safety briefing

Wednesday May 29, 2019

8:00 am	Breakfast
8:50 am	Introduction by Kristine Bauer and Robin Cockett
9:00 am	(Tutorial) Dominic Verity (Macquarie, Australia) "Synthetic $\infty$-category theory and $\infty$-cosmology", part 1
9:45 am	(Tutorial) Jean-Simon Leamy (Oxford, UK) "An introduction tutorial on tensor (co)differential categories and Cartesian differential categories"
10:30 am	(Tutorial) Ernie Manes (UMass, USA) "Continuous monads: continuous lattices revisited"
11:15 am	Break
11:30 am	(Tutorial) Dominic Verity (Macquarie, Australia) "Synthetic $\infty$-category theory and $\infty$-cosmology"
12:15 pm	(Tutorial) Jean-Simon Leamy (Oxford, UK) "An introduction tutorial on tensor (co)differential categories and Cartesian differential categories"
1:00 pm	Lunch
SHORT HIKE
5:00 pm	(Tutorial) Geoff Cruttwell (Ottawa, Canada) "Tangent categories tutorial I: Multivariable calculus"
5:45 pm	(Tutorial) Ernie Manes (UMass, USA) "Continuous monads: continuous lattices revisited"
6:30 pm	Supper

Thursday May 30, 2019

8:00 am	Breakfast (after school party)
9:00 am	(Tutorial) Geoff Cruttwell (Ottawa, Canada) "Tangent categories tutorial I: Multivariable calculus"
9:45 am	(Tutorial) Jonathan Gallagher (Dalhousie, Canada) "Tangent categories tutorial II: Weil algebras and tangent categories"
10:30 am	(Tutorial) Dominic Verity (Macquarie, Australia) "Synthetic $\infty$-category theory and $\infty$-cosmology"
11:15 am	Break
11:30 am	(Tutorial) Jonathan Gallagher (Dalhousie, Canada) "Tangent categories tutorial II: Weil algebras and tangent categories"
12:15 pm	(Tutorial) Dominic Verity (Macquarie, Australia) "Synthetic $\infty$-category theory and $\infty$-cosmology"
1:00 pm	Lunch
SHORT HIKE
5:00 pm	Gordon Plotkin (Edinburgh, UK) "One-and-a-Half Simple Differential Programming Languages"
6:00 pm	Ben MacAdam (Calgary, Canada) "Abstract Datatypes in Differential programming"
6:30 pm	Supper

Friday May 31, 2019

8:00 am	Breakfast (after school party)
9:00 am	(Tutorial) Michael Ching (Amherst College, USA) "Tangent $\infty$-categories and Goodwillie calculus"
9:45 am	(Tutorial) Matthew Burke (Calgary, Canada) "Involution algebroids: a generalisation of Lie algebroids for tangent categories"
10:30 am	(Tutorial) Rick Blute (Ottawa, Canada) "Introduction to etale groupoids and constructing convolution algebras for them via finiteness spaces"
11:15 am	Break
11:30 am	(Tutorial) Michael Ching (Amherst College, USA) "Tangent ∞-categories and Goodwillie calculus"
12:15 pm	(Tutorial) Rick Blute (Ottawa, Canada) "Introduction to etale groupoids and constructing convolution algebras for them via finiteness spaces"
1:00 pm	Lunch
HIKING
5:30 pm	Supper
6:30 pm	Rory Lucyshyn-Wright (Brandon University, Canada) "The presheaf of scalar functions and the internal rig of scalars of a cartesian tangent category"
7:15 pm	Laura Scull (Fort Lewis College, USA) "Categorical constructions in graphs"
8:00 pm	Break
8:15 pm	(Tutorial) Matthew Burke (Calgary, Canada) "Involution algebroids: a generalisation of Lie algebroids for tangent categories"

Saturday June 1, 2019

8:00 am	Breakfast
9:00 am	Phil Scott (Ottawa, Canada) "Computable Functions in Categories"
9:45 am	Jeff Egger (Canada) "Complex numbers in a topos"
10:30 am	Nicolas Behr (IRIF, France) "Tracelets and Tracelet Analysis Of Compositional Rewriting Systems"
11:15 am	Break
11:30 am	Dorette Pronk (Dalhousie, Canada) "Weakening of the Conditions for a Bicategory of Fractions"
12:15 pm	Marzieh Bayeh (Dalhousie, Canada) "A Generalization of The Invariant Topological Complexity"
1:00 pm	Lunch
HIKING
5:30 pm	Supper
6:30 pm	Simon Fortier-Garceau (Ottawa, Canada) "Spatially Induced Concurrency within Presheaves of Labelled Transition Systems"
7:00 pm	Geoff Vooys (Calgary, Canada) "A Site for Geometrizing Quasicharacters"
7:30 pm	Break
7:45 pm	Vaughan Pratt (Stanford, USA) "A short survey on Chu"

Sunday June 2, 2019

8:00 am	Breakfast
9:00 am	Bob Rosebrugh (Mount Allison, Canada) "Multicategories of multiary lenses"
9:45 am	Bryce Clarke (Macquarie, Australia) "Split Opfibrations and Cofunctors"
10:15 am	Priyaa Srinivasan (Calgary, Canada) "Complete positivity for mixed unitary categories"
10:45 am	Cole Comfort (Calgary, Canada) "Circuit relations for real stabilizers: towards TOF + H!"
11:15 am	Break and packing
11:45 am	Yves Fomatati (Ottawa, Canada) "On Matrix Factorizations"
12:15 pm	Pieter Hofstra (Ottawa, Canada) "A representation for inverse semigroups"
1:00 pm	Lunch