CFP CT 2000

30 Nov 1999

      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. Janelidze (Georgian Academy of Sciences, Tbilisi)
     G.M. Kelly (Sydney, Australia)
     A. Kock (Aarhus, Denmark)
     R. Pare (Dalhousie, Canada)
     R.H. Street (Macquarie, Australia)

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