FMCS 2014

Preliminary schedule:

Thursday 5th June:

5:00 PM – Meet at UofC ICT Building

6:00 PM – Last shuttle leaves for Kananaskis

Arrive and settle in at field station.

8:00 PM - Safety talk at the field station.

Friday 6th June:

08:00 am:  Breakfast

09:00 – 09:15am 

Welcome to the last escape ...

09:15 – 10:00 am

Robin Houston

"No proof  nets for MLL  with units" 

10:00 – 10:45 am

Geoff Cruttwell

"Introducing tangent categories"

10:45 – 11:15 am (Break)

11:15 - 12:00 am

Robin Houston (cont.)

"No proof  nets for MLL  with units"

12:00 - 12:30 pm
Keith O'Neill
"Universal coderivations in codifferential categories"

12:30 - 13:30 Lunch

––– Hike

17:30 – 18:30 pm (Supper)

18:30 – 19:15pm

Dorette Pronk

"Orbifolds as manifolds" 

19:15 – 20:00 pm

Darien DeWolfe

"On double Inverse semigroups"

20:00 - 20:15 Break

20:15 – 21:00 pm

Bob Rosebrugh (Mount Allison, Canada)

"Asymmetric lenses, symmetric lenses, and spans" 

Saturday 7th June:

08:00 am:  Breakfast

09:00 – 9:45 am

Rory Lucyshyn-Wright

"Categories with representable tangent structure and models of SDG associated to codifferential categories"

9:45 – 10:30 am

Geoff Cruttwell

"An alternative view of the tangent category axioms"

10:30 - 11:00 am

Poon Lueng

"Free Tangent Structure"

11:00 – 11:20 am  (Break)

11:20 – 12:00 am

Rory Lucyshyn-Wright

"Categories with representable tangent structure and models of SDG associated to codifferential categories"

Mike Pors

"Hurewicz for Symmetric  Spectra"

12:30 – 13:30 pm (Lunch)

––– Hike

17:30 – 18:30 pm (Supper)

18:30 – 19:15 am

19:15 – 20:00 pm
Hugo Bacard

"Strictification of co-Segal dg-categories"

Break 20:00 - 20:15

20:15 – 20:45 pm

Adam Gerling
"Categorical aspects of Galois theory"

Sunday 8th June:

08:00 am:  Breakfast

09:00 – 9:30 am
Simon Fortier-Garcceau
"An introduction to the object-oriented calculus"

9:30 -10:40 am
Something from the "locals": (Prashant, Chad, Aurore)

10:40 – 11:10 am  (Break)

11:15 -12:50 am
Robin Cockett
"Kleene's bounded minimization revisited"

11:50 - 12:30 am
Robert Seely
"Revisiting the term calculus for proof nets"

12:30 – 13:30 pm (Lunch)

(Depart) 

––– Hike