Octoberfest99: 16 - 17 October 1999 List of speakers ---------------------------- *Marta Bunge On a question of Johnstone about cartesian monads *Carsten Butz The filter construction and saturated models of Heyting arithmetic. *Robin Cockett Full completeness in commutative monoid enriched categories *Sjoerd Crans Teisi in _Ab_ *Jack Duskin On the equivalence of bigroupoids and 2-dimensional hypergroupoids" *Esfandiar Haghverdi Geometry of Proofs and Full Completeness *Hongde Hu Total graphs coloring *Yoshiki Kinoshita Lax logical relations for computational lambda calculus *Jim Lambek Polycategories revisited *Mihaly Makkai The multitopic omega-category of all multitopic omega-categories *Paddy McCrudden Opmonoidal monads *Susan Niefield Exponentiable morphisms *Jim Otto Resolution rewritings as cospans of cospans *Dusko Pavlovic Minimal (Dedekind-MacChu) bicompletion of a category *Bob Rosebrugh (Sunday "demo") A graphical database for category theory *Luigi Santocanale Free $\mu$-lattices *Josef Slapal Convergence structures for categories *Noson Yanofsky The Syntax of Coherence *Andre Joyal Higher category theory with weak Kan complexes and beyond (The schedule is also linked on the Octoberfest99 page.)