Arrive and settle in at field station.

Welcome

Ernie Manes
"Cauchy Sequences an Euclidean Geometry" (slides)

Lionel Vaux
"Web based models of linear logic"

Dorette Pronk
"Lie groupoids, Morita equivalence, and orbifold homotopy theory"

Ernie Manes
"Cauchy Sequences an Euclidean Geometry"

Lionel Vaux
"Web based models of linear logic"

Micah McCurdy
"V-prof"

Pieter Hofstra
"What is a linear combinatory algebra"

Simona Paoli
"Cohomology of track categories"

Robert Seely
"Faa di Bruno Categories" (slides)

David Spivak
"Simplicial databases"

 Jonathan Gallagher
"Differential restriction categories I"

Geoff Cruttwell
"Differential restriction categories II"

Trevor Wares

"Brouwer's principle of higher order Heyting arithmetic"

Vaughan Pratt
"Topological algebra based on sorts and properties of free and cofree structures"

Brian Redmond
"Categorical tour of lower complexity"

Pierre Clairambault
"Stong functors and interleaving fixed points in game semantics"

Mike Burrell
"Infering bounds for Pola"

Marc Bagnol
"Towards a quantum model of linear logics"

Brett Giles
"Quantum programming and its semantics"

Octavio Malherbe
"Partially traced categories and paracategories"

Phil Scott
"Towards polarized GoI"

Robin Cockett
"Integral categories"

Phil Mulry
"Some remarks on strong monads