Computing: The Australasian Theory Symposium (CATS'96)

Melbourne, Australia, 29 -- 30 January 1996

CATS is the major theoretical conference in Australasia that brings together researchers interested in computing theory, including algorithms, category theory, complexity, logic, semantics, specification and verification. CATS'96 is run under the auspices of the Computer Science Association (Australia) and held in conjunction with ACSC'96, ADC'96, and ACAW'96. In 1996 CATS is being hosted by the University of Melbourne.

Call For Papers

Papers in all areas of the theory of computer science are invited. Click here to view a PostScript version of the full Call for Papers, including submission guidelines. (Copies of this CFP will be distributed to all computer science departments in Australasia in early June.) Click here for details of submission formatting, including access to MS Word and LaTeX/BibTeX style files suitable for use in final paper submission.

Address for Submissions

Submissions should be made by e-mail in uuencoded PostScript format to If receipt has not been acknowledged by 1 September, contact the program chair.

If electronic submission is not possible, send four paper copies to:

Department of Computer Science,
University of Newcastle,
University Drive,
Callaghan NSW 2308,

Important Dates

Program Committee Chair

Peter Eades, University of Newcastle

Program Committee

John Crossley, Monash University
Jeremy Gibbons, University of Auckland
Mike Houle, University of Newcastle
Barry Jay, University of Technology, Sydney
Liz Sonenberg, University of Melbourne
John Staples, University of Queensland
C. P. Tsang, University of Western Australia

General Chair

Harald Sondergaard, University of Melbourne

Local Arrangements

Warwick Harvey, University of Melbourne


General enquiries should be addressed to This address can also be used to request a hard copy of the Call for Papers. Alternatively fax your name and address to CATS'96 using +61 3 9348 1184.