Subject: categories: CFP Category Theory 2000

From: "walters" <[email-masked]>
Date: Mon, 28 Feb 2000 06:03:17 +0100

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
[email-masked]

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