Computing: The Australasian Theory Symposium

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 2005 will be the eleventh time that CATS has been held. The symposium will consist of invited talks, formal paper presentations and informal presentations.

Call for papers

Papers are invited on all aspects of Theoretical Computer Science. Some representative, but not exclusive, topics include the following:

logic, reasoning and verification
formal specification techniques and program semantics
formal development methods, program refinement, synthesis and transformation
concurrent, parallel and distributed system theory
algorithm design and data structures
streaming data computation,
computational biology, geometry, and number theory.
complexity and computability
automata, types and category theory
tools for automated reasoning, and program analysis and development

Formal paper submissions to CATS 2005 should be submitted electronically via CyberChair no later than Friday, 3rd September, 2004. Submissions must be original work, not published or submitted elsewhere. All formal submissions will be refereed and will in appear in the published proceedings.

In order to foster interaction amongst participants, CATS 2005 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 2005 (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 26th 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.

Important Dates

Friday 3rd September, 2004: Deadline for submissions of full papers
Friday 15th October, 2004: Notification of acceptance for formal submissions
Friday 26th November, 2004: Deadline for informal submissions
Friday 12th November, 2004:
- Final versions of accepted formal papers due
- Deadline for author registrations
Friday 3rd December, 2004: Notification of acceptance for informal submissions
Sunday 30th January to Thursday 3rd February, 2005: Australasian Computer Science Week, incorporating CATS 2005

Program Chairs

Mike Atkinson
Department of Computer Science
University of Otago
P.O. Box 56, Dunedin
New Zealand
Phone: +64 3 479 8538
Fax: +64 3 479 8529
Email: mike@cs.otago.ac.nz Frank Dehne
School of Computing and InformationTechnology
Griffith University
Brisbane
Qld 4111
Australia
Phone: +61 7 3875 3768
Fax: +61 7 387 55051