Computing: The Australasian Theory Symposium (CATS) is the premier theoretical computer science conference in Australasia. It is held annually as part of Australasian Computer Science Week (ACSW) which comprises many other conferences and is overseen by the Computer Science Association.
CATS 2004 will be the tenth time that CATS has been held. The symposium will consist of invited talks, formal paper presentations and informal presentations.
Call for papersPapers are invited on all aspects of Theoretical Computer Science. Some representative, but not exclusive, topics include the following:
In order to foster interaction amongst participants, CATS 2004 will also include informal papers. These are intended as a supplement to the formal papers, and could include descriptions of work in progress, new ideas in the process of development, or an overview of trends in a given area or of the work of a research group. Informal papers, if accepted, will result in a presentation being scheduled as part of CATS 2004 (as is the case for formal papers), but will not appear in the published proceedings. Informal papers can vary from merely an announcement to an abstract up to 10 pages in length. Informal papers should be submitted in Postcript or PDF format to the Programme Chair, to arrive no later than Friday 28th November, 2003. In the event that more informal papers are accepted than can be scheduled for presentation, some informal papers may be scheduled as posters rather than talks.
Enquiries and submissionsMike Atkinson (CATS 2004 Programme Chair)
Department of Computer Science
University of Otago
P.O. Box 56, Dunedin
Phone: +64 3 479 8538
Fax: +64 3 479 8529