Instructions for authors


Programme Committee

Previous CATS meetings

Computer Science Association


ACSW Sponsors

ACSW Conferences

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 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 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 2004 should be submitted electronically via CyberChair no later than Friday, 29th August, 2003. 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 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.

Important Dates

  • Friday 29th August, 2003: Deadline for submissions of full papers
  • Friday 10th October, 2003: Notification of acceptance for formal submissions
  • Friday 28th November, 2003: Deadline for informal submissions
  • Friday 14th November, 2003:
    • Final versions of accepted formal papers due
    • Deadline for author registrations
  • Friday 5th December, 2003: Notification of acceptance for informal submissions
  • Sunday 18th to Thursday 22nd January, 2004: Australasian Computer Science Week, incorporating CATS 2004

Enquiries and submissions

Mike Atkinson  (CATS 2004 Programme Chair)
Department of Computer Science
University of Otago
P.O. Box 56, Dunedin
New Zealand
Phone: +64 3 479 8538
Fax: +64 3 479 8529