Thursday June 7
19:00-22:00     Reception & Registration , Parker Apartment Commons

Friday June 8 
08:00-09:00     Breakfast in Computer Science Lobby, 3rd floor McGregory

Research Tutorials - McGregory Third Floor
09:00-10:30     Session 1: Ernie Manes: Taut Monads as Distributions: Collections, Dynamic Logic and Topology
10:30-11:00     Break (refreshments) and registration

11:00-12:30     Session 2: Bob Rosebrugh: Sketches and database models

12:30-14:30     Lunch break (on your own)

14:30-16:00     Session 3: Steve Bloom: Algebraic words, trees and ordinals.
16:00-16:30     Break (refreshments)

16:30-17:30     Session 4: Robert Seely: TBA
17:30-18:00     Kim Flak: Differential Categories and the Bar Construction

Saturday June 9
08:00-09:00     Breakfast in Computer Science Lobby, 3rd floor McGregory

Research Sessions - McGregory Third Floor
09:00-10:45    Session 5 (Session Chair: Ernie Manes)
09:00-10:00    Paul Hudak:  Arrows and Space Leaks
10:00-10:45    Philip Mulry: Composing Monadic Data Types

10:45-11:15    Break (refreshments)

11:15-12:45    Session 6 (Session Chair: Bob Rosebrugh)
11:15-12:00    John MacDonald: Amalgamations of Categories
12:00-12:45    Susan Niefield: Change of Base for Relational Variable Sets
 
12:45-14:15   Lunch and break (on your own)

14:15-16:00    Session 7 (Session Chair: Robert Seely)
14:15-15:15    Robin Cockett: Abstract computability
15:15-16:00    Zippi Arzi-Gonczarowski: ISAAC - A Foundational Schema for AI

16:00-16:30    Break (refreshments)

16:30-18:00    Session 8 (Session Chair: Robin Cockett)
16:30-17:15    Jim Royer: Complexity-Theoretic Types and Semantics
17:15-18:00    Pieter Hofstra: Aspects of abstract computability

18:30              Conference Dinner at Nichols & Beal, Hamilton
 

Sunday June 10
08:00-09:00    Breakfast in Computer Science Lobby, 3rd floor McGregory

Research Sessions - McGregory Third Floor
09:00-10:30    Session 9 (Session Chair: Philip Mulry)
09:00-10:00    Steve Awodey Stone Duality, Topology, and Modality for First-Order logic
10:00-10:30    Henrik Forssell: First-Order Logical Duality

10:30-11:00    Break (refreshments)

11:00-12:30    Session 10 (Session Chair: John MacDonald)
11:00-11:30    Francois Dupressoir: A tree transducer approach to deforestation
11:30-12:00    Marc Comeau: Homotopy Theory of Posets
12:00-12:30    Sean Nichols: Circular datatypes in linearly distributive categories

12:30              End of Meeting