Australasian Computer Science Week

             3-7 February 1997, Macquarie University, Sydney, Australia

                            ACSC'97, CATS'97, and ACAC'97

                               Call for Papers

CATS'97 - Computing: The Australasian Theory Symposium

3-4 February 1997

CATS aims at bringing together computing theorists from the Australasian
region. Papers are solicited on all aspects of the theory of computer
science, including, but not limited to: Category Theory, Complexity,
Concurrency, Formal Semantics, Logic, Specification and Verification, and
all aspects of the theory of Algorithms (including combinatorial algorithms,
distributed algorithms, geometric algorithms, and parallel algorithms).

CATS'97 follows on from CATS'94 which was held in Sydney in December 1994,
and CATS'96 which was held in Melbourne in February 1996. It is hoped that
the meeting will have an `active workshop' atmosphere, with ample time for
discussions. Contributions describing work in progress are welcome.

Submissions should be sent in Postscript format to cats97@cs.rmit.edu.au by
the submission deadline. For final submissions, LaTEX style files and MS
Word style sheets will be provided. Authors unable to access or use these
style files will be asked to prepare papers of at most ten pages in
10-point, two-column format.

Papers will be judged on originality, significance, correctness, and
clarity. The contribution of the paper should be clearly explained in both
general and technical terms, and authors should make every effort to ensure
that the technical content of their papers is understandable by a broad
audience. Submission of a paper should be regarded as an undertaking that,
should the paper be accepted, at least one of the authors will attend the
conference to present the work.

General Chair:                     Program Committee:
Barry Jay, UTS                     Cristian Calude, Auckland
                                   Hossam ElGindy, Newcastle
Program Chair:                     Jeremy Gibbons, Auckland
James Harland, RMIT                Kurt Mehlhorn, Max Planck Ins.
                                   Dale Miller, Pennsylvania
Local Chair:                       Eugenio Moggi, Genoa
Michael Johnson, Macquarie         Tadao Takaoka, Ibaraki
                                   Arun Sharma, UNSW
                                   Harald So/ndergaard, Melbourne
                                   Antonius Symvonis, Sydney
                                   Phil Wadler, Glasgow