June 6:           Reception & Registration 7 - 10pm EST
 

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

Research Tutorials
09:00-10:30     Session 1 Ernie Manes: Monads as Distributions
10:30-11:00     Break (refreshments) and late registration
11:00-12:30     Session 2 Bill Lawvere: Finite Toposes
12:30-14:30     Lunch break (on your own)
14:30-16:00     Session 3 Robin Cockett: TBA
16:00-16:30     Break (refreshments)
16:30-18:00     Session 4 Robert Seely: An introduction to circuits and linear logic
 

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

Research Sessions
09:30-10:30    Session 5 Phil Wadler: The Girard Reynolds Isomorphism
10:30-11:00    Break (refreshments)
11:00-12:30    Session 6 (Session Chair: Ernie Manes)
11:00-11:45    Philip Mulry: Composing Monads and Liftings
11:45-12:30    John MacDonald: Essentially algebraic structures and monads
 

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

14:30-16:00    Session 7 (Session Chair: Robin Cockett)
14:30-15:15    Eduardo Ochs: A System of Natural Deduction for Categories
15:15-16:00    Dana Harrington: A Decision Procedure for Uniqueness Logic

16:00-16:30    Break (refreshments)

16:30-18:00    Session 8 (Session Chair: Robert Seely)
16:30-17:15    Robert McGrail: Shape Polymorphism in Logic Programming
17:15-18:00    Michael Johnson: Multi-dimensional transition graphs

19:00              Conference Dinner at Merrill House, Colgate University
 
 

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

Research Session
09:30-12:15    Session 9 (Session Chair: John MacDonald)
09:30-10:15    Robin Cockett: Free categories of partial maps with a partial map classifier
10:15-11:00    Bill Lawvere: Open Problems in Cartesian Closed Categories
11:00-11:30    Break (refreshments)
11:30-12:15    Robert Seely: Linear and Poly Bicategories

12:15              End of Meeting