February 1997 CATS aims at bringing together computing theorists from the Australasian region. 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.
Contributions describing work in progress are welcome.
For final submissions, LaTEX style files and MS Word style sheets will be provided. 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.