Here is the (reasonably final) schedule of talks for the BarrFest meeting in Montreal May 29 - 31. Details of the meeting (as well as a PS file of the schedule) are available from the Categories (Montreal) group's WWW site <ftp://triples.math.mcgill.ca/ctrc.html> - Robert Seely ------------------- 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 HomB ( 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 MacLane 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