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