Almost Final Schedule:

Tuesday June 21, 2022

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

Wednesday June 22, 2022

8:00 am	Breakfast
8:50 am	Introduction by Kristine Bauer and Robin Cockett
9:00 am	(Tutorial) Geoff Cruttwell Algebraic geometry: a different path up the mountain, part 1 of 2
9:45 am	(Tutorial) Richard Blute TBA
10:45 am	Break
11:00 am	(Tutorial) Peter Selinger The combinatorial game theory of Hex, part 1 of 2
11:45 am	(Tutorial) Susan Niefield Locally Non-Posetal Linear Bicategories
1:00 pm	Lunch
HIKING BREAK
5:45 pm	(Tutorial) Geoff Cruttwell Algebraic geometry: a different path up the mountain, part 2 of 2
6:30 pm	Supper
7:30 pm	Rose Kudzman-Blais Constructing Linear Bicategories
8:00 pm	Geoff Vooys Equivariant Tangent Categories on Varieties

Thursday June 23, 2022

8:00 am	Breakfast
9:00 am	(Tutorial) Pawel Sobocinski Graphical Affine Algebra, part 1 of 2
9:45 am	(Tutorial) Jean-Simon Lemay Tangent Categories and Algebraic Geometry, part 1 of 2
10:30 am	(Tutorial) Chris Heunen Categories like Hilbert spaces, part 1 of 2
11:15 am	Break
11:30 am	(Tutorial) Pawel Sobocinski Graphical Affine Algebra, part 1 of 2
12:15 am	(Tutorial) Jean-Simon Lemay Tangent Categories and Algebraic Geometry, part 2 of 2
1:00 pm	Lunch
SHORT HIKING BREAK
5:45 pm	(Tutorial) Peter Selinger The combinatorial game theory of Hex, part 2 of 2
6:30 pm	Supper
7:30 pm	Amolak Ratan Categories of Kirchhoff Relations
7:50 pm	Deni Salja Pseudo-Colimits of Diagrams of Internal Categories

Friday June 24, 2022

8:00 am	Breakfast
9:00 am	(Tutorial) Chris Heunen Categories like Hilbert spaces, part 2 of 2
9:45 am	(Tutorial) Priyaa Srinivasan Dagger linear logic and categorical quantum mechanics, part 1 of 2
10:30 am	Rory Lucyshyn-Wright Diagrammatic presentations of enriched monads and theories for a subcategory of arities
11:00 am	Break
11:15 am	Cole Comfort Graphical Symplectic Algebra
11:45 am	Dorette Pronk Double Fibrations
10:30 am	Laura Scull The Fundamental Groupoid in the Category of Graphs
1:00 pm	Lunch
HIKING BREAK
5:45 pm	(Tutorial) Jonathan Gallagher Introduction to differential programming, part 1 of 2
6:30 pm	Supper
7:30 pm	Marcello Lanfranchi Operadic Tangent Categories
7:50 am	Fahimeh Bayeh Category of Quantum Domains

Saturday June 25, 2022

8:00 am	Breakfast
9:00 am	(Tutorial) Jonathan Gallagher Introduction to differential programming, part 2 of 2
9:45 am	(Tutorial) Priyaa Srinivasan Dagger linear logic and categorical quantum mechanics, part 2 of 2
10:30 am	Samuel Desrochers What recursive functions can be constructed in certain categorical settings?
10:55 am	Mario Román Monoidal Streams
11:15 am	Break
11:40 am	Sacha Ikonicoff Cartesian Differential Monads
12:00 pm	Rachel Hardeman Morrill Universal Covers in A-Homotopy Theory
12:20 pm	Frank Fu A biset-enriched categorical model for Proto-Quipper with dynamic lifting
12:40 pm	Chad Nester Cornering Optics
1:00 pm	Lunch
HIKING BREAK
6:10 pm	Xiaoning Bian Generators and relations for 2-qubit Clifford+T operators
6:30 pm	Supper
7:30 pm	Nathan Haydon Peirce’s 1883 presentation of relations, linear distributivity, and its corresponding graphical calculus
7:50 pm	Florian Schwarz Tangent infinity categories and why they are important

Sunday June 26, 2022

8:00 am	Breakfast
9:00 am	Brenda Johnson TBA
9:30 am	Martin Frankland Modules over bialgebroids and Beck modules
10:00 am	Amelie Comtois Constructing the Tensor Product in the Category of Sup-Lattices
10:20 am	Shayester Naeimabadi Constructing cartesian linear bicategories
10:40 am	Elena Di Lavore Monoidal Width
11:00 am	Break and packing
12:00 pm	Thomas Vandeven Monoidal topology on linear bicategories
12:20 pm	Jean-Babtiste Vienney Graded codifferential categories and some cousins
12:40 pm	Alexanna Little Linear Logic and Circuit Diagrams?
1:00 pm	Lunch
afterwards	Leaving the field station