Computing: The Australasian Theory Symposium
CATS 2003

Call for papers | Accepted Papers | Programme | Instructions for Authors | ACSW'03 | ACSW Sponsors | Computer Science Association

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). ACSW is overseen by the Computer Science Association and is an annual week of Australasian Computer Science Conferences, including:

CATS 2003 will be the ninth time that CATS has been held. The symposium will consist of invited talks, formal paper presentations and informal presentations.

Invited Speakers

Important Dates

  • Friday 6th September, 2002: Deadline for formal submissions
  • Friday 18th October, 2002: Notification of acceptance for formal submissions
  • Friday 6th December, 2002: Deadline for informal submissions
  • Friday 13th December, 2002:
  • Tuesday 4th to Friday 7th February, 2003: Australasian Computer Science Week, incorporating CATS 2003

    Registration, accommodation and travel

    Registration, accommodation and travel for CATS 2003 will be organised centrally as part of the Australasian Computer Science Week.


    The proceedings of CATS 2003 will be published by Elsevier Science in the series Electronic Notes in Theoretical Computer Science. ENTCS is an electronic series associated with the journal Theoretical Computer Science, and published by Elsevier Science B. V.

    The proceedings of CATS2000, CATS2001 and CATS2002 have all appeared in ENTCS as ENTCS Volume 31, ENTCS Volume 42 and ENTCS Volume 61 respectively.

    A hardcopy preliminary proceedings and copies of accepted informal papers will be provided to conference attendees.

    Programme committee

  • Michael Atkinson, Otago University, Dunedin, New Zealand.
  • John Crossley, Monash University, Melbourne, Australia.
  • XiaoTie Deng, City University of Hong Kong.
  • Mike Fellows Newcastle University, Australia.
  • Colin Fidge, University of Queensland, Brisbane, Australia.
  • James Harland (Chair), RMIT University, Melbourne, Australia.
  • Matthew Hennessy, University of Sussex, Brighton, UK
  • Barry Jay, University of Technology, Sydney, Australia.
  • Mike Johnson, Macquarie University, Sydney, Australia.
  • Xuemin Lin, University of New South Wales, Sydney, Australia.
  • David Wolfram, Expert Information Services, Melbourne, Australia.

    ACSW General Chair

    John Roddick, Flinders University, Adelaide

    Previous CATS symposia

    Other Nearby Meetings

    Delegates to CATS may also be interested in the Permutation Patterns conference, to be held in Otago in the week after CATS'03.

    Enquiries and submissions

    James Harland (CATS 2003 Programme Chair)
    School of Computer Science and Information Technology
    Royal Melbourne Institute of Technology (RMIT)
    Melbourne, 3001, Australia
    Phone: +61 3 9925 2348
    Fax: +61 3 9662 1617