FMCS 2011
Final schedule:
(A PDF version is here)
Friday 11th June:
5:00 PM – Meet at UofC ICT Building
6:00 PM – Last shuttle leaves for Kananaskis
Arrive and settle in at field station.
Saturday 11th June:
08:00 am: Breakfast
09:00 – 09:15am
Welcome to the last escape ...
09:15 – 10:00 am
Ernie Manes
"Algebraic Models of Topological Dynamics: Coproduct Preserving Monads and Semigroups"
10:00 – 10:45 am
Guilio Manzonetto
"A differential model theory for resource lambda-calculi"
10:45 – 11:15 am (Break)
11:15 - 12:00 am
Guilio Manzonetto (cont.)
"A differential model theory for resource lambda-calculi"
12:00 - 12:30 pm
Ximo Boils
"Categorical characterizations of Burroni's recursion scheme"
12:30 - 13:30 Lunch
––– Hike
17:30 – 18:30 pm (Supper)
18:30 – 19:15pm
Ernie Manes (cont.)
"Algebraic Models of Topological Dynamics: Coproduct Preserving Monads and Semigroups"
19:15 – 20:00 pm
Willem Bernard Heijltjes
"Proof nets for sum–product logic"
20:00 - 20:15 Break
20:15 – 21:00 pm
Bob Rosebrugh (Mount Allison, Canada)
"Tangled circuits"
Sunday (June 12th):
08:00 am: Breakfast
09:00 – 9:50 am
Geoff Cruttwell
"Combining differential categories and manifolds"
9:50 – 10:40 am
Paolo Tranquilli
"Rewriting Aspects of Differential Linear Logic"
10:40 – 11:00 am (Break)
11:00 – 11:45 am
Willem Bernard Heijltjes
"Proof nets for sum–product logic"
11:45 – 12:30 am
Peter LeFanu Lumsdaine
"Higher inductive types: the circle and friends, axiomatically."
12:30 – 13:30 pm (Lunch)
––– Hike
17:30 – 18:30 pm (Supper)
18:30 – 19:15 am
Geoff Cruttwell
"Combining differential categories and manifolds"
19:15 – 20:00 pm
Rick Blute
"Convenient vector spaces, convenient manifolds and differential linear logic"
Break 20:00 - 20:15
20:15 – 21:00 pm
Michele Pagini
"The Computational Meaning of Probabilistic Coherence Spaces"
Monday June 13th:
08:00 am: Breakfast
09:00 – 9:50 am
Laura Scull
"Groupoids, Orbifolds, and Equivariant Spaces"
9:50 – 10:40 am
Dorette Pronk
"Atlas groupoids and categories of fractions"
10:40 – 11:10 am (Break)
11:10 -12:00 am
Pieter Hofstra
Locales and Duality
12:00 - 12:30 am
Trevor Wares
Stone-Type Dualities Generated by subMonads of the Downset Monad
12:30 – 13:30 pm (Lunch)
––– Hike
17:30 – 18:30 pm (Supper)
18:30 – 19:00 pm
Jonathan Gallagher
"Differential Turing Categories"
19:00 – 19:30 pm
Polina Vinogradova
"Investigating computability in Turing categories"
Break 19:30 - 19:45
19:45 – 20:30 pm
Flavien Breuvart
"Lambda Calculus with Test, full abstraction in D∞"
20:30 - 21:15 pm
Pavel Hrubes
"On the Total map of a Turing Category"
Tuesday June 14th:
08:00 am: Breakfast
09:00 – 9:45 am
Susan Niefield
"Exponentiability in Cat and Top via Double Categories"
9:45– 10:30 am
Etienne Duchesne (Marseille, France)
"Geometry of interaction and uniformity"
10:30 – 10:45 am (Break)
10:45 – 11:15 am
Robert Seely
"Linear functors and Modal Logic"
11:15 – 11:45 pm
Brett Giles
"Coproducts in inverse categories"
11:45 – 12:30 am
Phil Mulry
"Unifying notions of monadic strength"
12:30 – 13:30 am (Lunch)
(Depart)
––– Hike