CT2000	Monday 17	Tuesday 18	Wednesday 19
9.00-9.50	Opening [at 9.30] Saunders Mac Lane Categorical Foundations	Peter Freyd Advanced Calculus	Jonathon Funk An interval construction in the topos of sets equipped with an action by a braid group
10.00-10.25		Robbie Gates A Synthesis of Extensivity and Distributivity	Tibor Beke Towards a homotopy theory of topoi
10.30-11.00	coffee break	coffee break	coffee break
11.00-11.25	John Duskin A simplicial-matrix approach to the nerves of higher dimensional categories	Richard Wood, Robert Rosebrugh Distributive laws and factorization systems	Marta Bunge Dominances and spread completions
11.30-11.55	Sjoerd Crans Zamolodchikov systems	Walter Tholen Injectives, exponentials, and model categories	Panagis Karazeris Categorical domain theory: Scott topology, powercategories, coherent categories
12.00-12.25	Todd Trimble, Margaret McIntyre Surface diagrams	Yves Diers Classification of concrete geometrical categories	Enrico Vitale On algebraically exact categories and essential localizations of varieties
12.30-12.55		Poster session	Anders Kock Some metric aspects of Synthetic Differential Geometry
13.00-14.30	lunch break	lunch break	lunch break
15.00-15.50	Francis Borceux From separable algebras to separable categories	Zóltan Ésik Equational Properties of Initial Fixed Points
16.00-16.25	Stefaan Caenepeel Separable functors and Frobenius functors applied to entwined modules, Doi-Hopf modules and Yetter-Drinfel'd module	Jirí Adamek On final coalgebras of continuous functors
16.30-17.00	coffee break	coffee break	Excursions Conference Dinner
17.00-17.25	Eduardo Dubuc On Joyal-Tierney generalization of Galois Theory	Anne Heyworth Grobner basis techniques for computing actions of K-categories
17.30-17.55	Dominique Bourn, Marino Gran Centrality and normality in Maltsev and protomodular categories	Richard Squire Orbits in a topos
18.00-18.30	Bachuki Mesablishvili (Effective) Descent morphisms in the category of schemes	Robin Cockett Restriction categories, partial maps, and datatypes

CT2000	Thursday 20	Friday 21	Saturday 22
9.00-9.50	Christian Kassel Completion of braided monoidal categories and action of the Grothendieck-Teichmüller group	Rainer Vogt Iterated monoidal categories and iterated loop spaces	Bill Lawvere Gorenstein Algebras and Material Microstructure
10.00-10.25	Michael Batanin Shuffle polytopes, coperative games and 2-dimensional coherence for higher dimensional categories	Marek Golasinski Categorical Methods in the Equivariant Rational Homotopy Theory	Dominique Bourn 3x3 lemma and protomodularity
10.30-11.00	coffee break	coffee break	coffee break
11.00-11.25	Eugenia Cheng Equivalence between approaches to the theory of opetopes	Tim Porter Atlases of Groupoids and Global Actions	Ronnie Brown Constructing free crossed resolutions for some graphs of groups
11.30-11.55	Florence Marty Preaugmented N-categories and O. Leroy's augmented 3-categories	José Calcines Closed simplicial model structures for exterior and proper homotopy theory	Maurizio Citterio Classifying Spaces of Categories and Term Rewriting
12.00-12.25	Mark Weber Graphical Species	Marco Grandis Exactness and stability in homotopical algebra
12.30-12.55	Poster session	Poster session
13.00-14.30	lunch break	lunch break	lunch break
15.00-15.50	Marek Zawadowski A duality theorem on disks and simple omega-categories, with applications to weak higher dimensional categories	Claudio Hermida Coherence via Universality
16.00-16.25	Luigi Santocanale The alternation hierarchy for the theory of mu-lattices	Richard Blute, Prakash Panangaden Nuclear ideals and formal distributions
16.30-17.00	coffee break	coffee break
17.00-17.25	Jiri Rosický A classification of accessible categories	Max Kelly A Note on Actions of a Monoidal Category
17.30-17.55	Lars Birkedal, Jaap van Oosten Relative and Modified Relative Realizability	Steve Lack Extended distributive laws
18.00-18.30	Paul Taylor Lifting, Gluing and Exponentiable Subspaces in Abstract Stone Duality	Noson Yanofsky Coherence, Homotopy and 2-Theories