Date: Wed, 2 May 90 22:58:13 +0200


(first announcement and call for papers)

3-6 September 1991
Ecole Normale Superieure, Paris

        The Fourth of the biennial Summer Conferences on Category
Theory and Computer Science will be held in Paris. The main purpose of
these conferences is to link research in category theory with computer
science. The importance of categories in understanding basic issues in
computer science is now well established. Other structures in logic,
algebra and topology are also seen as fundamental and the scope of the
conference is to cover applications of these structures as well.
Papers are welcome in any of the following, non-exhaustive, list of
topics :

        % Semantics of Programming Languages    % Categorical Logic
        % Program Logics and Specification      % Semantics of Concurrency
        % Type Theory                           % Linear Logic

        It is intended to publish the proceedings as Springer Lecture Notes.

Organizing and Program Committee Samson Abramsky, Pierre-Louis Curien,
Peter Dybjer, Giuseppe Longo, John Mitchell,David Pitt, Andrew Pitts,
Axel Poign, David Rydeheard, Don Sannella, Eric Wagner.

Important Dates
Deadline for submission of papers:      March 1, 1991
Notification of acceptance:     May 15, 1991
Final paper due:        July 1, 1991

        Authors should send 5 copies of a draft paper (length of the
papers should not exceed 10 dense pages, or 20 loose pages, the ideal
being 15 "normally filled" pages, as usual not including references
nor possible (short) appendices; no double submissions) to:

        David Pitt, Department of Mathematics, University of Surrey,
        Guildford, Surrey, GU2 XH, U.K
        e-mail:  dhp@cs.surrey.ac.uk

        Pierre-Louis Curien is responsible for local arrangements :
        LIENS, 45 rue d'Ulm, 75230 Paris Cedex 05, France
        e-mail: curien@dmi.ens.fr