The following list of speakers and titles for 40 talks came by e-mail (in kind response to a telephone request). Staff at MSRI asked that I post it here on the category net. No times or dates for particular talks are given; they probably have not yet been fixed. There is a rumor (only) that the CATALGS sequence will be given in the first week and the TOPOS sequence in the second. Art Stone ------------------- MATHEMATICAL SCIENCES RESEARCH INSTITUTE 1000 Centennial Drive * Berkeley, CA 94720 * (510) 642-0143 Universal Algebra and Category Theory Conference July 12-23, 1993 Speakers M. Albert Unification K. Baker Varieties (finite basis problems) M. Barr HSP theory for general categories G. Bergman Adjoint functors in algebra J. Berman Finite clones, tame congruences A. Blass TOPOI IV) The logic of geometric morphisms B. Davey Natural dualities R. Freese Congruence modular varieties P. Freyd (tentative) Categorical logic and closed categories J. Gray CATALGS III) Sketches and object oriented-programming M. Haiman TBA J. Hyndman TBA J. Isbell Polynomial origami J. Jezek Varieties (lattices of varieties) P. Johnstone TOPOS III) Classifying toposes and geometric theories A. Joyal The Witt vector construction as a right adjoint K. Kearnes Categorical aspects of congruence modular varieties M. Kelly Maltsev & Goursat categories & central extensions F. W. Lawvere Graphic monoids F. Linton CATALGS I) Monads, algebraic theories and their algebras S. Mac Lane Introductory talk: Modern algebra, universal and categorical ---- TOPOS I) Introduction to topos theory M. Makkai Generalizing from posets of categories and beyond as the heuristics for categorical logic R. McKenzie Varieties (overview) G. McNulty Varieties I. Moerdijk TOPOS II) Introduction to morphisms of topoi S. Niefield CATALGS IV) Algebras for chaos R. ParE Accessible categories J. Rhodes Global semigroup theory M. Sapir Algorithmic problems in varieties S. Seif Tame congruence theory and semigroups R. Street Higher dimensional categories W. Taylor Clones IR II W. Tholen Closure operators M. Tierney The ubiquity of Groupoids in homotopy theory V. Trnkova Topological spaces whose clones have @ segments S. Tschantz Maltsev conditions and clones M. Valeriote Varieties: Decidability, Vaught's conjecture, and tame congruence theory C. Wells CATALGS II) An introduction to sketches R. Willard Tame congruence theory +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++