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:

   * topos theory and synthetic differential geometry,
   * algebraic topology and homological algebra,
   * enriched category theory and 2-dimensional universal algebra,
   * higher dimensional category theory and quantum algebra,
   * categorical logic,
   * galois theory and descent,
   * categories and computer science,
   * general category theory.

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.


Organizing Committee
    A. Carboni (Insubria)
    G. Rosolini (Genova) (chair)
    R.F.C. Walters (Insubria and Sydney)

Program Committee
     A. Kock (Aarhus, Denmark)
     I. Moerdijk (Utrecht, Netherlands)
     G.M. Kelly (Sydney, Australia) (chair)
     R.H. Street (Macquarie, Australia)
     J.M.E. Hyland (Cambridge, U.K.)
     G. Janalidze (Tbilisi, Georgia)
     S.L. Bloom (Stevens Institute, USA)
     R. Pare (Dalhousie, Canada)