Instructions for authors


Programme Committee

Previous CATS meetings

Computer Research Education Association


ACSW Sponsors

Other 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 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
Qld 4111
Phone: +61 7 3875 3768
Fax: +61 7 387 55051