SECOND CALL FOR PAPERS CATEGORY THEORY 2000 (CT 2000) July 16-22, 2000 Centro di Cultura Scientifica "Alessandro Volta" di Villa Olmo Como, Italy The next international summer conference in category theory will be held at Villa Olmo from Sunday 16th July to Saturday 22nd July 2000. We invite submissions in all areas of category theory and its applications, but particularly in the following areas: * algebraic topology and homological algebra, * categorical logic, * categories and computer science, * enriched category theory and 2-dimensional universal algebra, * galois theory and descent, * general category theory. * higher dimensional category theory and quantum algebra, * topos theory and synthetic differential geometry, The web page for the conference is http://www.disi.unige.it/conferences/ct2000/ Electronic submissions are preferred but authors may instead mail 4 copies of an extended abstract, in either case to arrive by 15th March, 2000. Email address for electronic submissions ct2000@disi.unige.it Mail address for hardcopy submissions RFC Walters (CT 2000) Dipartimento di Scienze CC., FF., MM., Università degli studi dell'Insubria 22100 Como, Italy Important Dates 15 March, 2000: Papers due 15 May, 2000: Notification of acceptance or rejection of papers 16-22 July, 2000: Conference Papers should be submitted in the form of an extended abstract. Papers should begin with the title of the paper, each author's name, affiliation, and e-mail address, followed by a statement as to which of the areas of category theory mentioned above the paper belongs, a succinct statement of the problems and goals that are considered in the paper, the main results achieved, the significance of the work in the context of previous research, and a comparison to past research. The abstract should provide sufficient detail to allow the program committee to evaluate the validity, quality, and relevance of the contribution. The entire extended abstract should not exceed 10 pages. Authors will be notified of acceptance or rejection by 15 May, 2000. Program Committee S.L. Bloom (Stevens Institute, USA) J.M.E. Hyland (Cambridge, U.K.) G. Janalidze (Tbilisi, Georgia) G.M. Kelly (Sydney, Australia) A. Kock (Aarhus, Denmark) I. Moerdijk (Utrecht, The Netherlands) R. Paré (Dalhousie, Canada) R.H. Street (Macquarie, Australia) Organizing Committee A. Carboni (Insubria) G. Rosolini (Genova) R.F.C. Walters (Insubria and Sydney) REGISTRATION Registration for the conference is now possible by consulting the web page http://www.disi.unige.it/conferences/ct2000/. The registration fee is Lit.250000, reduced to Lit.180000 for students. Also consider that the conference dinner will be on Wednesday, July 19, and the cost of a dinner ticket is Lit.70000. 28th February 2000