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.

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.

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.

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