Subject: BarrFest Schedule

From: categories <[email-masked]>
Date: Sat, 24 May 1997 16:41:31 -0300 (ADT)

Date: Sat, 24 May 1997 09:29:52 -0400
From: Robert A. G. Seely <[email-masked]>

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