Computing: The Australasian Theory Symposium (CATS'96)
Melbourne, Australia, 29 -- 30 January 1996
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,
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
If electronic submission is not possible, send four paper copies to:
Department of Computer Science,
University of Newcastle,
Callaghan NSW 2308,
- Submission to be received by 29 August 1995.
- Notification by 1 November 1995.
- Final Version by 24 November 1995.
Program Committee Chair
Peter Eades, University of Newcastle
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
Harald Sondergaard, University of Melbourne
Warwick Harvey, University of Melbourne
General enquiries should be addressed to email@example.com.
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.