Barrfest Schedule
May 29-31, 1997

THURSDAY

9:00- 9:55  Murray Gerstenhaber Developments from Barr's thesis
10:00-10:25 George Janelidze On Barr's results on Galois theory in topoi, 
            and further developments from topoi to general categories
11:00-11:55 Fred E J Linton Hom_B (B,B) and all that
12:00-12:25 Noson Yanofsky Obstructions to Coherence
- Lunch
1:30- 2:25  Jack Duskin Higher Dimensional Non-Abelian Cohomology via Cotriples
2:30- 3:25  Donovan VanOsdol Barr, Cobar, and Koszul
4:00- 4:25  Marta Bunge Admissible KZ-doctrines: overview and examples
4:30- 4:55  Jonathon Funk A bicomma object condition for KZ-doctrines
5:05- 6:00  Jim Lambek Diagram chasing in ordered categories with involution

FRIDAY

9:00- 9:55  Saunders Mac Lane Triples versus Universal Algebra
10:00-10:25 Hongde Hu Coherence completions, free bicompletion and Chu
            construction
11:00-11:25 Vaughan Pratt Chu Spaces as Universal Algebras
11:30-12:25 Peter Chu Torsion theory in Rings with several objects
- Lunch
1:30- 2:25  John Power Sketches
2:30- 3:25  John Kennison Solution manifolds for differential equations
4:00- 4:25  Ieke Moerdijk Barr's covering theorem and coherent Hausdorff topoi
4:30- 4:55  Walter Tholen Functorial factorization, well-pointedness and 
            separability
5:05- 6:00  Myles Tierney 2-torsors, 2-descent, etc

6:45- ? Dinner Thompson House

SATURDAY

9:00- 9:55  Charles Wells Graph Based Logic and Equational Logic
10:00-10:25 Dorette Pronk Simplicial Cohomology of Orbifolds
11:00-11:55 James Otto Presenting LCC categories by answering queries
12:00-12:25 Francois Lamarche Chu spaces and denotational semantics
- Lunch
1:30- 2:25  Michael Makkai A somewhat personal overview of regular categories
2:30- 2:55  Robin Cockett Montreal summers need not be listless
3:00- 3:25  Robert Seely Linearly distributive functors
4:00- 4:25  Richard Blute Nuclear Ideals in Tensored *-categories
4:30- 4:55  Bernhard Banaschewski A uniform view of real compactness
5:05- 6:00  Peter Freyd Cartesian Logic, Alternation Logic