The 16th CATS symposium (Computing: the Australasian Theory Symposium) will be held in Brisbane, Australia, in January 2010. CATS is an annual conference held in the Australia-New Zealand region, dedicated to theoretical computer science.

Important dates

  • Submission deadline: Monday August 17, 2009 -- Extended to Monday August 24,2009 (midnight UTC-11)
  • Acceptance notification: Monday October 5, 2009
  • Final version due: Friday November 6, 2009

  • Early registration: Monday December 7, 2009
  • Conference dates: January 18-21, 2010

Call for papers

Authors are invited to submit papers that present original, unpublished research in all areas of theoretical computer science. Typical but not exclusive areas of interest include:

  • algorithms and data structures
  • approximation and randomized algorithms
  • computational complexity theory
  • combinatorial optimization
  • graph theory and combinatorics
  • semantics of programming languages
  • computational geometry
  • computational biology
  • logic and type systems
  • computability, new paradigms of computation
Papers related to other theoretical aspects of computer science will also be considered.

Paper submission guidelines and procedures

The usual guidelines apply for paper submissions to CATS, as with most other fully refereed theory conferences: Work submitted in this conference must be original, not previously published in any conference with referreed proceedings or journal, and must not be simultaneously submitted to other conferences with refereed proceedings.

The proceedings of this event will be published by the ACS in the CRPIT Series. All information about formatting of the accepted papers, and related resources for authors are available on the CRPIT author resources page.

All papers must be submitted in pdf format and should be no more than 10 pages in length, following the instructions of the CRPIT Series.


CATS 2010 is part of the Australasian Computer Society Week (ACSW), organised by the School of Information Technology at the Queensland University of Technology (QUT) in Brisbane, Australia, in January, 2010.