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

CATS is part of the Australasian Computer Society Week (ACSW). This year the ACSW is organized by Curtin University in Perth, Australia.

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
  • algorithmic game theory
  • combinatorial optimization
  • computability
  • computational complexity theory
  • computational geometry
  • foundational calculi
  • graph theory and combinatorics
  • logic and type systems
  • program derivation, analysis, transformation
  • program verification and safety
  • semantics of programming languages
  • theory of programming
Papers related to other theoretical aspects of computer science will also be considered.
Contact:
A special issue dedicated to CATS 2001 will be published by the International Journal on the Foundations of Computer Science. For more information, see the announcement of the special issue and the journal's website.

Important dates -- Deadline extended

  • Submission deadline: Monday August 16, 2010 30 August 2010 (11:59pm UTC-11)
  • Acceptance notification: Monday October 4, 2010 11 October 2010
  • Final version due: Friday November 5, 2010 10 November 2010

  • Early registration: Monday December 6, 2010
  • Conference dates: January 17-20, 2011