The workshop will end at 12:00noon on Sunday, June 6. Lunch will follow till 1:00PM after which participants will transported back to Calgary. Do NOT plan flight departures prior to 3:00PM on Sunday.
| PROPOSED PROGRAMME |
The workshop will end at 12:00noon on Sunday, June 6. Lunch will follow till 1:00PM after which participants will transported back to Calgary. Do NOT plan flight departures prior to 3:00PM on Sunday.
Friday 4th June: Tutorials on Category Theory
Breakfast 8:00 - 8:45
Morning Session
8:45 - 9:00 Welcome to Kananaskis
Robin Cockett
9:00 - 10:30 TUTORIAL:
Infinitary monads in computer science Ernie Manes
10:45 - 12:15 TUTORIAL:
Categorical descriptive complexity David BensonLunch 12:15 - 1:15
(Break)
Supper 5:30 - 6:30
Evening session
6:45 - 8:00 TUTORIAL: Linear Logic
Rick Blute (Ottawa)(Break)
Research Session (Chair: Rick Blute)
8:15 - 9:00 Unique Decomposition Categories, Geometry of Interaction and Combinatory Logic
Esfandiar Haghverdi (ottawa)
9:00 - 9:45 Noncommutative Proof Nets
Robert SchneckSaturday 5th June (TUTORIAL and Research Talks)
Breakfast 8:00 - 8:45
Morning Session (Chair: David Benson)
8:45 - 10:00 TUTORIAL: Partial map categories
Phil Mulry (Colgate)
10:00 - 10:30 Restriction Categories
Robin Cockett (Calgary)(Break)
10:45 - 11:30 Lambda terms as fractions, fractions as resolutions, and complexity
Jim Otto
11:30 - 12:00 From GeoZ to AeroZ (work with Steve Vickers)
Adam Eppendahl (Imperial)Lunch 12:15 - 1:15
(Break)
Supper 5:30 - 6:30
Evening Session: (Chair: Ernie Manes)
7:00 - 7:45 Order and Membership in Polytypic Imperative Programming
David Naumann (Stevens)
7:45 - 8:15 Model checking using modal mu
John Aldwinkle (Calgary)(Break)
8:30 - 9:15 TBA
Dick Keiburtz (OGI)
9:15 - 10:00 Axiomatizability for Coalgebras
Grigore Rosu(Break)
Sunday 6th June (Research Talks)
Breakfast 8:00 - 8:45
Morning Session (Chair: Dick Kieburtz)
8:45 - 9:30 Parameters and fibrations
John Macdonald (UBC)
9:30 - 10:15 The class NP as spans of sketches
David Benson (Washington State University)(Break)
10:45 - 11:30 Decision procedures for distributive logic
Gwangwu Xu (Calgary)
11:30 - 12:15 Linear type systems for programming
Dana Harrington (Calgary)(Lunch 12:15 - 1:15)
CONFERENCE ENDS 1:15pm Sunday June 6th.
